NGF Project 6G Future Network Services Awarded

The multi-year public-private Future Network Services (FNS) programme focusses on creating a leading international position for the Netherlands in 6G. The focus is on specific and connected topics in 6G: intelligent radio components and antennas, intelligent networks, and leading applications in key sectors. The Formal System Analysis cluster is involved in program line 3: leading …continue reading

Best paper award at LATA 2020

The paper “Complexity of Automatic Sequences” by Hans Zantema has been awarded the best paper award for the 14th International Conference on Language and Automata Theory and Applications (LATA 2020), which will be held in Milan March 4-6, 2020.

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 of verified software updates. Check here for more information and applications Note that in the same project we are also …continue reading