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
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
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
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
We’re very pleased to welcome Jeroen Keiren, who started as an assistant professor in our group on 1 February! Before joining FSA, he worked as an assistant professor at the Open University and Delft University …continue reading
On November 1, 2018, Julien Schmaltz left the FSA group to take up a new position at the company ICT. We congratulate Julien and wish to thank him for all he has done for our …continue reading
Rick Erkens started to work 1 september 2018 as a teaching PhD student in the FSA group.