3 software-formal-method-phd 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 1 hour 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