岗位制PhD招生-乌普萨拉大学

NicknamexUID: 4169976

📢 乌普萨拉大学博士职位招聘：网络协议安全测试

乌普萨拉大学（Uppsala University）计算机科学系现招聘一名全奖博士生，研究方向为网络协议实现的安全性测试。欢迎转发给可能感兴趣的朋友或同事！

📌 职位链接：
👉 https://uu.varbi.com/en/what:job/jobID:826792/

🧪 项目简介

该项目致力于开发自动化技术，用于检测并修复互联网和物联网中使用的网络协议实现中的安全漏洞。这些协议一旦存在漏洞，容易被攻击者利用，造成设备被远程控制等严重后果。

研究方法将结合模型学习、模糊测试（fuzzing）、程序分析、符号执行（symbolic execution）与形式验证等技术，已有相关成果发表在 USENIX、NDSS 等顶级会议上，工具如 DTLS-Fuzzer 与 SMBugFinder 也广泛应用于协议安全测试。

博士生将由 Paul Fiterau-Brostean 博士指导，他因在协议模型学习领域的工作获得 VERSEN（荷兰软件工程国家协会）博士论文一等奖，并长期从事网络安全测试研究。团队氛围非常友好，导师平易近人、认真负责，沟通顺畅，适合希望稳步成长的学生加入。

此外，与 Philipp Ruemmer、Bengt Jonsson 和 Kostis Sagonas 等教授也有紧密合作，他们在自动化验证、编程语言实现与测试等领域具有国际影响力。

---

🎓 博士待遇与条件

待遇优厚，包括：

• 全额奖学金（博士工资）约 30,000–34,000 瑞典克朗/月，逐年递增

• 全职合同制博士（雇员身份），享受瑞典正式雇员福利（含五险一金、年假、带薪病假等）

• 可参加国际会议、科研交流，有出国访问机会

• 博士期间不强制教学任务，科研时间充足

  
  

申请条件：

• 计算机科学或相关领域硕士学位（申请截止前获得即可）

• 编程能力扎实，有复杂工具/算法开发经验优先

• 具备测试、安全、程序分析、形式方法、网络协议等相关背景

• 良好的英文读写与沟通能力

• 熟悉模型学习、形式验证等技术者优先考虑

  
  

---

🕓 重要时间点

• 申请截止：2025年7月15日

• 预期入职：2025年9月1日（可协商）

  
  

📬 联系方式：
Paul Fiterau-Brostean
📧 [url=]paul.fiterau_brostean@it.uu.se[/url]
📱 +40 720 114 646