[TYPES/announce] PhD scholarship on Concurrency and Logic (Updated)

[Jorge A. Perez]

[Please share widely with potential candidates; apologies for any
cross-postings.]

PHD SCHOLARSHIP ON “CONCURRENCY AND LOGIC“
University of Groningen, The Netherlands

Apply before March 19, 2021
(see below for details on application procedure)

Supervisors:
- Prof. Barteld Kooi (https://www.philos.rug.nl/~barteld/)
- Prof. Jorge A. Pérez (https://www.jperez.nl)


We seek excellent candidates for one four-year PhD scholarship on the
topics of message-passing concurrency, modal logic, and type systems.

The PhD scholarship concerns the interdisciplinary project "Knowledge
is Power: Reliable Communicating Software by Epistemic Logics",
supported by the Young Academy Groningen
(https://www.rug.nl/research/young-academy/).

Details on the PhD Scholarship program can be found here:
https://www.rug.nl/education/phd-programmes/phd-scholarship-programme/

The starting point of the proposed research is "propositions as
sessions", a remarkable principle that connects concurrency and logic
in the style of the well-known Curry-Howard correspondence.
In this project, you will enhance the expressiveness of analysis
techniques for message-passing programs by incorporating forms of
knowledge and belief in formal specifications of communicating
programs.
To this end, you will develop new extensions of "propositions as
sessions" by exploiting elements from epistemic logics and modal
logics.


- Qualifications

You have an MSc degree (or equivalent) in Computer Science,
(Philosophical) Logic, Mathematics, or Artificial Intelligence, with
proven experience in at least two of the following:

- Modal logics and (their) proof theory
- Concurrency theory and/or process calculi
- Semantics of programming languages
- Program verification and type systems
- The Curry-Howard correspondence


- Application

Details on the application procedure are available here:
https://www.rug.nl/phd-scholarships?details=00347-02S000840P (see "Project 3")

You will be asked to provide the following documents:
1. A brief letter of motivation
2. A CV, including contact details of two academic referees
3. A research proposal of max. 1500 words
4. A certified transcript of records
5. Scan of diploma/transcripts

You can submit your application
until 18 March 11:59pm / before 19 March 2021
Dutch local time (CET).


- Additional Information

Prospective applicants are strongly encouraged to contact the
supervisors for further details on the research project and also
advice on how to prepare their applications:

- Prof. Barteld Kooi (b.p.kooi[at]rug.nl)
- Prof. Jorge A. Pérez (j.a.perez[at]rug.nl)


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