并发加密协议正式方法博士职位
PhD Position in Formal Methods for Concurrent Cryptographic Protocols
原帖优先：申请材料、截止时间与资格以原帖和学校官方说明为准。
AI 中文速览
- 研究内容
- 研究正式推理原则用于并发加密协议
- 申请条件
- 原文未说明
- 待遇
- 薪资 EUR 3059 - 3881 每月
- 申请方式
- 原文未说明
- 材料清单
- 原文未说明
由 @cf/meta/llama-3.3-70b-instruct-fp8-fast 生成，博士岗判定置信度 90%。
结构化信息
- 截止
- （Europe/Amsterdam） 剩 3 天
- 学科
- 计算机科学
- 合同类型
- 雇佣合同
- 原文薪资
- EUR 3,059–3,881 / 月（税前）
- 税后月薪（估）
- ¥18,100–¥23,000；房租后 ¥10,200–¥15,100
- 估算假设
- 单身、无子女、雇佣合同的粗略估算，以学校 offer 为准；扣除率 25%；汇率日期 2026-10-01
- 原帖发布
- 本站收录
- 内容更新
- 来源
- AcademicTransfer（荷兰学术招聘） · 最近核对 2026-10-07
判定依据（原文摘录）
- is_phd
PhD Position
- english_ok
conferences, research visits, etc.
原文
You will carry out research towards developing formal reasoning principles for concurrent cryptographic protocols and participate in the dissemination of results (conferences, research visits, etc.). In addition, you will perform light supervision duties for bachelor and/or master students and support our courses as teaching assistants (maximum two periods a year).