2 formal-verification PhD positions in Netherlands

PhD in Formal Verification of Distributed Systems (1.0 FTE)

University of Groningen | Netherlands | 3 months ago

Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and

PhD Position Formal Methods for Software Engineering with Trust

Delft University of Technology (TU Delft); today published | Netherlands | 3 months ago

about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current