Logic List Mailing Archive

PhD student position on concurrency & logic, Groningen (The Netherlands)

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

Supervisors:
- Prof. Barteld Kooi (Faculty of Philosophy)
- Prof. Jorge A. Pérez (Faculty of Science and Engineering)


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 will be made available shortly at
https://www.rug.nl/about-us/work-with-us/

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


- 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@rug.nl)
- Prof. Jorge A. Pérez (j.a.perez@rug.nl).



--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam