Saturday, September 15, 2018

PhD position in "Concurrency, logic and type systems" at the University of Groningen, The Netherlands

Jorge Pérez has asked me to share the following advertisement for a PhD position in his group at the University of Groningen. I trust that this might be of interest to some of the readers or this blog or their students working in concurrency theory, semantics of programming languages and types. The position is supported by a prestigious NWO VIDI career grant recently awarded to Jorge the project "Unifying Correctness for Communicating Software". Feel free to spread this call for PhD applications as you see fit. The deadline is in roughly two weeks.

(Posted: August 31, 2018)
University of Groningen, The Netherlands

We are searching for one four-year PhD position on the topics of concurrency, logic, type systems, and programming languages.

You will contribute to rigorously comparing different type systems for message-passing programs, such as session types.
These comparisons will use as reference a correspondence known as "propositions as sessions", which connects concurrency and logic in the style of the well-known Curry-Howard correspondence.
We will use the resulting comparisons to streamline existing type systems, and to guide the development of verification tools for message-passing programs.

Your PhD research will be embedded in the project "Unifying Correctness for Communicating Software", a VIDI career grant recently awarded to Dr. Jorge A. Perez by the NWO (Netherlands Organization for Scientific Research).
As such, you will join a dynamic, quickly growing research group; within the project, you will collaborate with research partners both in the Netherlands (e.g., at CWI Amsterdam) and abroad.

- Qualifications

You have an MSc degree (or equivalent) in Computer Science, Logic, Mathematics, or Artificial Intelligence, and experience in at least one, preferably two or more, of the following:

• Semantics of programming languages
• Program verification, type systems, and/or typed programming languages
• Concurrency theory and/or process calculi
• The Curry-Howard isomorphism ("propositions as types")
• Modal/substructural logics and (their) proof theory

Female candidates are encouraged to apply.

- Application and Additional Information

For further details on the position and the application procedure, please visit

For further information and expressions of interest, contact Jorge A. Perez (
See also

You may apply until 1 October 23:59h / before 2 October 2018 (Dutch local time).

No comments: