4 software-formal-method-phd positions in Germany

General Call for PhD Students (m/f/x) in Information Security as well as Artificial Intelligence and Machine LearningFull PhD

DAAD | Germany | about 1 month ago

16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering

General Call for PhD Students (m/f/x) in Information Security as well as Artificial Intelligence and Machine LearningFull PhD

DAAD | Germany | about 1 month ago

Deadline 16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering

PhD / Doctorate •

Ludwig-Maximilians-Universität München • | Germany | about 5 hours ago

should have very good skills in the English language and a strong background in at least one of the fields relevant for research at ConVeY: Control theory, formal methods in computer science, or machine

Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 5 days ago

- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by