... Faculty of Science and... ... University of... Founded in 1614, the University of Groningen enjoys an international reputation as a dynamic and innovative...
Faculty of Science and EngineeringOrganisation
University of Groningen
Founded in 1614, the University of Groningen enjoys an international reputation as a dynamic and innovative institution of higher education offering high-quality teaching and research. Flexible study programmes and academic career opportunities in a wide variety of disciplines encourage the 30.000 students and researchers alike to develop their own individual talents.
Within the Faculty of Science and Engineering, the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence conducts research along several research areas, including Fundamental Computing.
The Fundamental Computing group of the University of Groningen has one four-year PhD position on the topics of programming languages, program verification, and concurrency. The position is embedded in the project "Unifying Correctness for Communicating Software", a 5-year Vidi career grant awarded to Dr Jorge A. Pérez by the NWO (Netherlands Organization for Scientific Research).
The project will deliver a comprehensive description of how different verification techniques for message-passing concurrency relate to each other.
We will use the Curry-Howard correspondence for concurrency (also known as "propositions as sessions") as a reference in formalizing these relations.
These foundational results will be validated through case studies and tool prototypes.
The successful candidate will contribute to rigorously compare and systematize different type systems for message-passing programs (such as session types).
These comparisons will then be used to streamline existing type systems for message-passing programs, but also to define new type systems, following the logical foundations defined by the Curry-Howard correspondence for concurrency.
The research plan for the PhD student can be shaped depending on his/her strengths and interests.
The PhD candidate will join a vibrant research group (three PhD students and a postdoc), supported by generous research funds.
In particular, he or she will work in coordination with a postdoc researcher (also to be funded by the Vidi career grant), and will have the chance of visiting international research collaborators to be involved in the project.
We look for a talented and dedicated candidate with an MSc degree (or equivalent) in Computer Science, Logic, or Mathematics, excellent communication skills in English, and enthusiastic to work in a team.
Candidates with experience in one or more of the following are especially encouraged to apply:
● semantics of programming languages and/or program verification
● the Curry-Howard isomorphism (also known as "propositions as types")
● concurrency theory and/or process calculi
● modal/substructural logics and (their) proof theory.
Contract length: 12 months.The University of Groningen offers a salary of € 2,266 gross per month in the first year up to a maximum of € 2,897 gross per month in the fourth year. It is a temporary assignment for a period of four years. First, you will get a temporary position of one year with the perspective of prolongation with another three years. Before the end of the first year, there will be an evaluation as to the feasibility of successful completion of the PhD thesis within the next three years.
Vul in waar je vergelijkbare vacatures zoekt en vergeet je e-mailadres niet!
Wil jij op de hoogte gehouden worden van nieuwe interessante vacatures en altijd binnen 1 muisklik kunnen solliciteren? Schrijf je in als werkzoekende!DIRECT INSCHRIJVEN
We heten wel YoungCapital, maar iedereen is even welkom. Ook als je al wat meer ervaring hebt. Meer weten? Check onze FAQ.