Visiting/postdoc researcher in Logic, Semantics, Concurrency, Groningen (the Netherlands)

We invite applications for a post-doctoral researcher position at the Fundamental Computing Group of the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence. at the University of Groningen, The Netherlands. The successful candidate will work together with Helle Hvid Hansen and Jorge A. Pérez and contribute to the group’s research activities on the formal specification and analysis of software systems (broadly construed).

The starting date is negotiable, but preferably before April 1st, 2024. The duration of the position will be six months, but there are possibilities for an extension. While this is shorter than a typical postdoc appointment, we see this vacancy as offering an extended “visiting researcher” position. As such, it could be appealing for (young) scholars wishing to develop their own research agenda within a vibrant research environment and an internationally-oriented university and city.

We warmly encourage applications from individuals with proven experience in any of the research areas covered by the Fundamental Computing group: modal logic, coalgebra, concurrency theory, type systems, programming languages, semantics, program logics, proof theory, exact algorithms.