Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoctoral Researcher in Formal Verification of Safety Critical Software (Radboud University, The Netherlands)

Deadline: Wednesday 30 November 2016

As a postdoctoral researcher you will work on the project SOVEREIGN: A Framework for Modular Formal Verification of Safety Critical Software. The goal of this project is to develop a platform for the verification of safety critical software that would allow for the verification process to be scalable, compositional, incremental and effective.

Candidate is expected to have a PhD (or be near completion) in Computer Science or a closely related field with a strong background in one or more of the following: semantics of computation, programming languages, theorem proving, verification and model checking.

For more information, see http://www.ru.nl/werken/details/details_vacature_0/?recid=591019 or contact Prof.Dr Herman Geuvers at .

Please note that this newsitem has been archived, and may contain outdated information or links.