瑞典乌普萨拉大学招收岗位制博士生（全职带薪PhD）Security & Testing

瑞典乌普萨拉大学信息技术系现招收1名全职博士生，研究方向为网络协议实现的安全性测试（Security Testing of Network Protocol Implementations）。该项目由瑞典国家研究理事会（VR）资助。
入学时间：2025年12月或2026年春季（可协商）

学校介绍：
乌普萨拉大学（Uppsala University）是瑞典最古老的大学，信息技术系为瑞典第三大计算机系，涵盖AI、网络、系统、安全等方向，拥有成熟的博士培养体系。

岗位制博士是啥？
岗位制博士即博士研究生作为全职雇员正式聘用，享有固定薪资、完整社保、年假和病假待遇，在科研之外拥有比较稳定的生活保障与发展空间。

导师与课题组介绍：
研究团队在网络协议测试、安全验证、模型学习等方向具备国际影响力。导师是瑞典VR资助人，曾获VIE/ERES青年奖，相关成果发表在NDSS、USENIX等顶级会议，开发的多项协议验证工具已广泛应用。
导师主页：uu.se
合作团队包括Philipp Rümmer、Bengt Jonsson等知名学者，拥有稳定的跨组合作机制。研究小组学术氛围开放，重视实际系统能力训练，适合希望深入协议安全/形式化验证方向的同学。

研究方向：
本项目围绕如何自动挖掘网络协议实现中的漏洞，研究内容包括但不限于：

• 使用模型学习生成协议模型
• 将形式化验证、符号执行等方法用于漏洞分析
• 开发自动测试工具，用于协议栈（如DTLS、TCP、SSH）安全性验证
  

欢迎具备如下背景的同学申请：

• 熟悉编程语言（如Python、Java），有开发经验
• 有网络协议、系统安全、程序分析、人工智能相关基础
• 英文读写流畅，具备良好的科研潜力与表达能力
• 有实际项目或开源代码经验者优先考虑
  

申请方式：
申请入口：uu.se
申请截止时间：2025年7月15日。
本岗位为瑞典制PhD，正式雇佣合同，提供固定薪资和员工福利待遇，适合希望深入科研发展的同学申请。