[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
PHD POSITION ON “CONCURRENCY, LOGIC, AND TYPE SYSTEMS“ (Posted: August 31, 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. 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. - Qualifications You have an MSc degree (or equivalent) in Computer Science, Logic, Mathematics, or Artificial Intelligence, and 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/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. Pérez (j.a.pe...@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