-
proficiency in relevant programming languages (e.g., Python, C++) and tools such as ROS. Experience in simulation and digital twins, as well as the use of synthetic data for training machine learning models, is
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
Enter an email to receive alerts for programming-"Prof"-"University-of-Birmingham" positions