[TYPES/announce] PhD position on Concurrency, Logic, and Type Systems (Deadline: October 1st).

[Jorge A. Perez]

[Apologies if you receive multiple copies of this email. Please
distribute to interested parties.]

PHD POSITION ON “CONCURRENCY, LOGIC, AND TYPE SYSTEMS“
(Posted: August 31, 2018 / Deadline: October 1, 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

https://www.rug.nl/about-us/work-with-us/job-opportunities/overview?details=00347-02S0006KOP

For further information and expressions of interest, contact
Jorge A. Perez (j.a.perez at rug.nl).
See also http://www.jperez.nl/vidi

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

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