全奖博士招生（年薪41万克朗）—瑞典乌普萨拉大学（QS93）—自动推理、交互式定理证明、编程语言设计、验证和软件工程

Xee

申请截止日期 ：2025 年 8 月 11 日
专业领域 ： 计算机科学，侧重于参数化浮点推理，涉及自动推理、交互式定理证明、编程语言设计、验证和软件工程等方面

工资 ：31700 克朗 / 月

如何查看申请信息，如何获取金币，如何兑换礼品

游客，本帖隐藏的内容需要积分高于 1 才可浏览，您当前积分为 0

阅读全文 [ 金币: 20 ] , 点击支付