Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
of results in scientific journals Requirements PhD in Physics, Engineering, Economics, Environmental Sciences, Mathematics, System Sciences or a related field training in formal, quantitative methods
-
of results in scientific journals Requirements: PhD in Physics, Engineering, Economics, Environmental Sciences, Mathematics, System Sciences or a related field training in formal, quantitative methods
-
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
-
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
-
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
-
- 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