We are happy to announce that our project “Cyclic Structures in Programs and Proofs” received funding from NWO as an Open competition Domain Science-XL.

This €3 million project brings together five universities (TU Delft, Leiden University, Radboud University, University of Twente, and University of Groningen) to advance software verification through research in logic, programming languages, and automated program verification

The project will fund in total 6 PhD and 3 postdoc positions. Details about positions will appear here.