职位描述
本站申请链接
我们正在招收博士生，他们将为新一代可扩展的、基于模型的网络物理系统工具做出贡献，这些工具建立在坚实的数学基础之上，能够在功能安全、安全性、定量性能和现代机器学习技术的利用之间进行权衡。S4OS 的总体假设是，模型检查和综合与机器学习的全面整合将为网络物理系统的学习、分析、综合和优化提供创新的、高度可扩展的方法。
根据个人意愿，候选人将沿着以下一个（或多个）不同方向开展工作：
– 涉及定量模型（如随机、定时加权、混合自动机）和行为与安全属性逻辑的理论基础 – 模型检查、学习和综合的高效算法 – 提高机器学习模型的可解释性和安全性，如通过整合神经和符号建模范例 – 复杂网络物理系统（如交通、水、能源）的工具实施与应用
offer要求
申请人必须拥有计算机科学或相关专业的硕士学位。由于项目的角度，申请人必须在以下一个或多个领域具有深厚的背景：模型检查、定量系统的建模和规范、安全、游戏和合成、机器学习、面向逻辑的人工智能、工具开发和实施，以及上述领域在复杂系统中的应用。
必须具备出色的英语口语和书面交流能力。
offer待遇
博士津贴分配给持有硕士学位的个人。博士津贴通常为期 3 年。根据 2013 年 8 月 27 日关于大学和某些高等艺术教育机构博士课程的第 1039 号部长令的规定，候选人必须是信息技术和设计技术博士学院的在读博士生，这是获得津贴的前提条件。根据该部令，应定期对博士生的学习进度进行评估。
将实行短名单制度。这意味着在申请截止日期之后，系主任将在评估委员会主席的支持下挑选候选人进行评估。所有申请人都将被告知是否接受评估。