1 software-formal-method-phd Postdoctoral scholarships in Germany

PhD and Postdoctoral Positions at TUM – Fundamentals of Programming

Technical University of Munich | Germany | 16 days ago

and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation