[ The Types Forum (announcements only),
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
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.pe...@rug.nl, before May
Please feel free to contact me for informal inquiries about the
project, the position, the starting date (flexible), or the working
Jorge A. Pérez
Johann Bernoulli Institute for Math and CS (JBI)
University of Groningen, The Netherlands