PhD student position in concurrency theory, Groningen (The Netherlands)

We welcome applications for a four-year PhD position at the University of Groningen (the Netherlands) - see www.rug.nl.

The position is offered in the context of the project "Advanced Structures for Correct Communicating Software (ACCESS)", funded by the NWO (Netherlands Organization for Scientific Research).

The goal of ACCESS is to deliver a rigorous, comprehensive description of how distinct behavioral type systems for concurrency relate to each other. By reconciling their currently disparate foundations into a mature body of knowledge, ACCESS will provide a long-lasting reference for behavioral type systems. A key innovation will be the use of the Curry-Howard correspondence for concurrency as a reference, exploiting recent results in relating distinct formal models of concurrency.

The successful candidate will have an MSc degree in Computer Science, Mathematics, or Logic, a good knowledge of formal techniques for the specification of language semantics, and excellent communication skills in English.

Candidates with experience in one or more of the following are particularly encouraged to apply: - concurrency theory and process calculi - type systems - the Curry-Howard correspondence for concurrency ("propositions as sessions")

To apply, please send your curriculum vitae, a cover letter, and contact information of two references to j.a.perez at rug.nl, before May 14, 2018.

Please feel free to contact me for informal inquiries about the project, the position, the starting date (flexible), or the working environment.

Best regards, Jorge

Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Math and CS (JBI)
University of Groningen, The Netherlands
URL: http://www.jperez.nl