The FSA group has a vacancy for an assistant professor (tenure-track/tenured) under the Irène Curie Fellowship programme, which offers a substantial start-up package. We are particularly keen on strengthening our expertise in automated reasoning, SAT …continue reading
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
Starting on Juli 1, 2021 Tim Willemse took over the role of cluster leader of FSA from Jan Friso Groote who has been leader for more than 20 years.
Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions …continue reading
On May 10, 2021 Leo van Schooten successfully defended his thesis on translating a DSL in use at Philips to specify and control X-ray capabilities to the language Dezyne, allowing for a less complex software …continue reading
The Formal System Analysis group has two vacancies for tenured/tenure track assistant professor and/or support staff positions. More information about these positions can be found here. Screening has started. The application deadline is 30 April, …continue reading
On July 1 2020, Anna Stramaglia is joining us a PhD student in the MACHINAIDE project. Anna will focus on the scalability of verification, especially in the context of co-evolving system models and verification models.
At Februari 1, 2020, Jan Martens joined us as a new PhD student in the AVVA project. Jan will direct his attention to the question how many core architectures, such as GPU’s, can improve the …continue reading
We currently have four open positions for PhD students and one open position for a postdoctoral researcher. The open positions are in various externally funded projects. In particular, we are looking for candidates to fill …continue reading
We are looking for a post-doctoral researcher on the MACHINAIDE project on Knowledge based services for and optimization of machines. The overall challenge in the project is to allow continuous improvement of machines by means …continue reading