Eduardo Costa Martins, who recently graduated in the FSA group under the supervision of Bas Luttik, started as a PhD student in our group and will be supervised by Tim Willemse and Jan Friso Groote. …continue reading

The formal system analysis group has an open PhD position. Please contact us, in case you consider to strive towards a PhD and have strong background in mathematics and computer science. PhD on Uncertainty in …continue reading

The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and …continue reading

Our group members Thomas Neele and Matthias Volk have both been awarded VENI grants. The VENI is a personal scientific grant as part of the NWO Talent Programme and is aimed at excellent researchers at …continue reading

We offer a 5 years long PhD-TA (PhD-Teaching Assistant) position to work the application of formal methods to the analysis and verification of Cyber-Physical Systems operating under uncertainties. For more information, please refer to the …continue reading

The multi-year public-private Future Network Services (FNS) programme focusses on creating a leading international position for the Netherlands in 6G. The focus is on specific and connected topics in 6G: intelligent radio components and antennas, …continue reading

The VENI grant is part of the NWO Talent Programme and targets excellent researchers who have recently obtained their PhDs. Our group member Clemens Dubslaff has been awarded one of the grants for a project …continue reading

Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.

On 1 October, Tom Franken started as a PhD student working on the NWO-funded TOP project AVVA. At the same time, we welcomed back Thomas Neele, who started working as an Assistant Professor in our …continue reading