3 formal-method-phd PhD positions at Technical University of Munich in Germany

PhD Position in Safety Verification of Cyber-Physical Systems

Technical University of Munich | Germany | about 2 months ago

computer science, electrical engineering, control systems, or a related field. • Prior experience in reachability analysis, formal verification methods, control theory, or related domains. • Proficiency in

PhD position in the Machine Learning and Information Processing Group on DNA Data Storage Personal

Technical University of Munich | Germany | 3 days ago

. The project focuses on developing information theory, coding schemes, and other algorithmic methods for DNA data storage. Here is a video on the topic: https://www.bbc.com/future/article/20151122-this-is-how

PhD Scholarship: AI-enabled code compliance checking in early building design (AI-CHECK)

Technical University of Munich | Germany | 3 days ago

of the doctoral project is positively evaluated after the first two years. CMS’s inter-disciplinary team is performing research in the broad field of computational methods for the built environment. Particular