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. Pérez 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 national and international research partners.

You have:
• An MSc degree (or equivalent) in Computer Science, Logic, Mathematics, or Artificial Intelligence;
• Excellent communication skills (oral and written) in English;
• An ability to work enthusiastically in a team.

You also have experience in one 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/sub structural logics and (their) proof theory

Our university is actively seeking to increase the number of female scientists across all disciplines; female candidates are encouraged to apply.

Fixed-term contract: 12 months.

The University of Groningen offers a salary of € 2,266 gross per month in the first year up to a maximum of € 2,897 gross per month in the fourth year. It is a temporary assignment for a period of four years. Initially, you will get a temporary position of one year with the perspective of prolongation for another three years. Before the end of the first year, there will be an evaluation of the feasibility for successful completion of the PhD thesis within the next three years.

Application
You may apply for this position until 1 October 23:59h / before 2 October 2018 (Dutch local time) by means of the application form (click on "Apply" below on the advertisement on the university website).

Please upload your application in English as a single PDF-file containing the following:
1. Full curriculum vitae.
2. A cover letter explaining your motivation and relevant qualifications.
3. Contact information of two references.

Unsolicited marketing is not appreciated.

Faculty of Science and Engineering

Since its foundation in 1614, the University of Groningen has enjoyed an international reputation as a dynamic and innovative center of higher education offering high-quality teaching and research. Our research group, Fundamental Computing, is part of the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence in the Faculty of Science and Engineering of the university. We investigate the logical and mathematical foundations of computer science.