-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
-
of research and teaching in this dynamic and evolving research field. The position is open for appointment starting August 1st , 2025, or shortly thereafter. The formal qualification requirements for position
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions