项目介绍
慕尼黑工业大学 (TUM) Dr. Althoff 所领导的网络物理系统研究小组现提供一个博士后职位，研究方向为安全数据驱动系统辨识。研究小组诚邀申请者加入团队，从事面向网络物理系统的安全数据驱动系统辨识研究，该研究小组融合了控制理论、机器学习和形式化方法。入选者将致力于推进数据驱动建模技术的发展，从而为自动驾驶车辆、机器人和工业系统等复杂动态系统提供形式化的安全保证。
本项目基于近期在可达集一致性辨识方面的工作，重点构建可达集能够证明地过度逼近所有可观测系统行为的抽象模型，从而实现安全属性从模型到实际系统的可靠迁移。研究兼具方法论创新性和实际应用价值，涵盖可扩展辨识算法、不确定性量化以及基于学习的模型与形式化验证的融合等主题。所属院系：慕尼黑工业大学，计算、信息与技术学院
项目时长：2 年申请要求和方式
申请要求：·申请者应拥有工程或计算机科学领域有优秀的学术背景；·精通至少一种编程语言，例如 MATLAB、C/C++、Python。
申请方式：公开特招项目，按照项目要求准备申请材料后递交申请。
