2 verification "Radboud University" PhD positions

PhD position on Liveness from causality analysis

University of Twente | Netherlands | about 10 hours ago

five Dutch universities: the University of Twente, the University of Groningen, Leiden University, Radboud University, and Delft University. The Formal Methods and Tools (FMT) group at the University

2 PhD Positions Find2Fix: Reducing Software Errors using Transparant AI

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

software science departments at Radboud University, where two additional PhD students will work on the Find2Fix project. Together with the rest of the team, you will build demonstators for the Find2Fix