Logic List Mailing Archive

PhD student position in concurrency theory, Groningen (The Netherlands), Deadline: 14 May 2018

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 other. 
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.perez@rug.nl, before May
14, 2018.

Please feel free to contact me for informal inquiries about the
project, the position, the starting date (flexible), or the working
environment.

Best regards,
Jorge

--
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Math and CS (JBI)
University of Groningen, The Netherlands
URL: http://www.jperez.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