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

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.