Vacancies

We have four vacancies for PhD students:

• Two vacancies in the NWO TOP project Grey-box learning of Interfaces for Refactoring Legacy Software (GIRLS) (contact Frits Vaandrager)
• One vacancy in the NWO TOP project Implicit Complexity through Higher Order Rewriting (contact Cynthia Kop)
• One vacancy on Explainable Data Science using Formal Verification that is partially funded by VWDATA program (contact Nils Jansen)

up