[TYPES/announce] Vacancy: Postdoc Researcher Formal Verification of Safety Critical Software

[Herman Geuvers]

LS,

In Nijmegen at Radboud University we have a vacancy for a

Postdoc Researcher Formal Verification of Safety Critical Software

in the STW funded project "Sovereign, A Framework for Modular Formal 
Verification of Safety Critical Software."

* Application deadline: 30 November 2016
* Duration of the contract: 2,5 years;

See (also for applications):
http://www.ru.nl/werken/details/details_vacature_0/?recid=591019

Herman Geuvers