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
Category: People
News about people working in our group
Leo van Schooten graduated
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
Two Assistant Professor and/or Support Positions in FSA
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
Anna Stramaglia new PhD student
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.
Jan Martens new PhD student
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 are hiring PhD students/postdocs!
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
Open position Postdoc: continuous improvement of machines through verified software updates
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
Open position PhD student: continuous improvement of machines through verified software updates
We are looking for an excellent PhD student 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 …continue reading
Ferry Timmers started in the Arrowheads project.
On April 15 Ferry Timmers started in the Arrowheads project together with ASML. The goal of this project is to show that newly developed control software for wafer scanners can completely be verified before the …continue reading
New group member: Mark Bouwman
Mark Bouwman started as a PhD candidate on the FormaSig project in our group. The FormaSig project, led by Bas Luttik (TU/e) and Maarten van der Werff (ProRail), is a joint research project of DB …continue reading