欧洲列车控制系统设计自动化方向博士职位

Ph.D. Student for Design Automation for the European Train Control System (m/f/d, full time E13)

Technische Universität München · 德国

原帖优先:申请材料、截止时间与资格以原帖和学校官方说明为准。

AI 中文速览

研究内容
研究方向为欧洲列车控制系统(ETCS)的设计自动化,包括开发设计与验证方法、建模、启发式算法、正确性与安全性验证以及工具模型集成等。
申请条件
申请人需以优异成绩完成计算机科学、人工智能、数学、电气工程或相近专业的硕士/文凭学业,具备强劲的编程能力和算法、优化问题基础,熟悉SAT/SMT求解器或机器学习者优先。
待遇
提供全职 E13 雇佣合同岗位,能够参与国际合作并在顶级会议和期刊上发表成果。
申请方式
请将申请材料(英语或德语均可)发送至指定邮箱:robert.wille@tum.de。
材料清单
  • 简历 (CV)
  • 背景介绍
  • 论文列表(如有)
  • 项目及合作经历(如有)
  • GitHub 主页(如有)
  • 求职信(阐述动机)

由 gemini-2.5-flash-lite 生成,博士岗判定置信度 100%。

结构化信息

截止
原帖未给出
学科
计算机科学
合同类型
雇佣合同
本站收录
内容更新
导师
Robert Wille
来源
Technische Universität München 官方招聘 · 最近核对 2026-10-07
判定依据(原文摘录)
  • is_phd
    Ph.D. Student for Design Automation for the European Train Control System
  • english_ok
    Please send your application (in English or German) to Prof. Dr. Robert Wille
  • bachelor_ok
    You should have completed your Master/Diploma studies with top grades
原文

Ph.D. Student for Design Automation for the European Train Control System (m/f/d, full time E13)

14.04.2022, Academic staff

We are an active and lively research group which is passionate about science. We are working in an environment that may best be characterized by the passion to accomplish something new—complemented by teamwork and fostering personal relationships. From assistants, students, researchers, postdocs to professors; we are all working hand in hand, are highly committed and engaged with our work. We know how to celebrate our successes, but also how to get through setbacks together!

In the next months, we are going to extend our research group at the Technical University of Munich ( www.cda.cit.tum.de ). Accordingly, we are currently searching for a Ph.D. Student to join our team to work on Design Methods for the European Train Control System !

Our Research The European Train Control System (ETCS) strives to harmonize and improve train control systems throughout Europe. One particular aspect is the utilization of virtual subsections which allow for a much higher degree of freedom and provide significant potential for increasing the efficiency in today’s train schedules. While this certainly provides a great deal of freedom and potential for improvements, utilizing this potential is a highly non-trivial task which, thus far, mainly relied on manual labor. In our work, we aim for introducing methods for design automation which aid designers in tackling those tasks. In the future, we are aiming to extend our activities into one or more of the following directions: • Methods and software tools for the design and validation of ETCS systems • Modeling search problems with realistic train movementss • Heuristics for determining railway layouts and train schedules • Verification of the correctness and safety of train layouts/schedules • Scaling train scheduling with virtual subsections to real-life scenarios • Modelling, analysis, verification, and validation for ETCS Level 3 • Combined approaches to ensure safety (safety by design) • Validation according to ETCS standards • Evaluation of system capacity, energy consumption, and costs • Tool and model integration

To learn more about our previous work, please check out our website ( www.cda.cit.tum.de/research/etcs/ ) and open-source implementations referred therein.

Your Profile We are looking for a Ph.D. student who is willing to learn and explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation, simulation, and verification methods for ETCS. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all over the world) and present your work at top-notch conferences and journals in our domain. You should have completed your Master/Diploma studies with top grades in Computer Science, Artificial Intelligence, Mathematics, Electrical Engineering, or a similar subject. Most importantly, you should be creative, passionate about research, driven by curiosity, and be able to think outside-of-the-box. You will need strong coding skills to design highly efficient algorithms. Solid knowledge in the areas of algorithmics, optimization problems, as well as experience with SAT/SMT solvers or machine learning is an advantage. Join our Team While we are obviously interested in your CV and background (if applicable, please also add your list of publications, projects, cooperations, etc. as well as your GitHub profile). Most importantly, however, tell us what motivates you to join our team and work on ETCS. Let us know why you would be a great candidate! We are looking forward to hearing from you! Please send your application (in English or German) to Prof. Dr. Robert Wille ( robert.wille@tum.de ). Severely disabled applicants will be given preference if they are essentially of the same suitability and qualifications. The Technical University of Munich aims to increase the proportion of women, so applications from women are expressly welcomed.

The position is suitable for disabled persons. Disabled applicants will be given preference in case of generally equivalent suitability, aptitude and professional performance.

Data Protection Information:

When you apply for a position with the Technical University of Munich (TUM), you are submitting personal information. With regard to personal information, please take note of the Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. (data protection information on collecting and processing personal data contained in your application in accordance with Art. 13 of the General Data Protection Regulation (GDPR)). By submitting your application, you confirm that you have acknowledged the above data protection information of TUM.

Kontakt: robert.wille@tum.de

More Information

https://www.cda.cit.tum.de/research/etcs/

PDF

Ph.D. Student for Design Automation for the European Train Control System (m/f/d, full time E13), The call for applications as a PDF file (Type: application/pdf, Size: 69.3 kB) Save attachment

信息有误?提交纠错