There is an open position for a PhD candidate. The research should be focused on techniques for improving the error resilience of embedded digital multiprocessor systems used in software defined radios and radars against temporal and functional errors. This will require adaptation of the hardware and analysis of the software using techniques and tools that should be developed in the project.
This project is computer science oriented and requires affinity with formal methods and tools.
This PhD assignment can be carried out at the University of Twente or at NXP research in Eindhoven.
(description updated (18/1/2016))
For more information, please contact Marco Bekooij.