Skip to ContentSkip to Navigation
About us Working at the University of Groningen Job opportunities

PhD Position in Logic and Theoretical Computer Science (1.0 FTE) (221329)

Job description

Applications are invited for a fully-funded 4-year PhD position in non-classical logics through proof theory at the Fundamental Computing group at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen.

A powerful way to study a logic is through the notion of proof and provable formulas. This is Proof Theory. Its prominent early contributors include Frege, Russell, Hilbert, Gentzen, and Gödel. The general aim in this project is to use mathematical objects called proof systems to investigate the properties of sub-structural, modal, fuzzy, bunched, relevant and other non-classical logics. We are interested in all sorts of logical properties e.g. decidability, computational complexity, interpolation. Proof theory is most prominent but we welcome ideas from many areas including well-quasi-orderings, combinatorics, alge-bras (logical semantics), computational models (proving lower bounds). The position is ideal for candi-dates with an interest and background in logic, discrete mathematics, and theoretical computer science.

The PhD candidate will work under the supervision of Dr. Revantha Ramanayake <d.r.s.ramanayake>, and the research project will be formulated in consultation with the PhD candidate.

As a PhD candidate, you will conduct original research leading to a PhD thesis, completed within the 4 years of the appointment and defended at the University of Groningen. You are expected to present your research results at local/national seminars and international conferences, and to publish them in confer-ence proceedings and journals. You are also expected to make a small contribution (at most 10%) to teaching e.g. as a teaching assistant or by supervising student projects.


A Master’s degree or equivalent (e.g., Honours degree) in logic, theoretical computer science, mathematics, or another relevant field. An excellent academic record and a keen interest in doing fundamental research.


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 36,000 students and researchers alike to develop their own individual talents. As one of the best research universities in Europe, the University of Groningen has joined forces with other top universities and networks worldwide to become a truly global centre of knowledge.

The PhD candidate will join the Fundamental Computing group at the Department of Computer Science at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. The Fundamental Computing group conducts internationally leading research on formal methods using concepts and theories from logic, type theory, category theory and discrete mathematics. The general aim is to improve the correctness and reliability of software, and further develop the foundations of computing.

Conditions of employment

We offer you in accordance with the Collective Labour Agreement for Dutch Universities:

● a salary of € 2,395 gross per month in the first year, up to a maximum of € 3,061 gross per month in the fourth and final year for a full-time working week
● a holiday allowance of 8% gross annual income and an 8.3% year-end bonus
● the ‘30% ruling’ tax benefit may apply to non-Dutch applicants
● a full-time position (1.0 FTE). The successful candidate will first be offered a temporary position of one year with the option of renewal for another three years. Prolongation of the contract is contingent on sufficient progress in the first year to indicate that a successful completion of the PhD thesis within the next three years is to be expected. A PhD training programme is part of the agreement, and the successful candidate will be enrolled in the Graduate School of Science and Engineering.

The intended starting date is between September 1 and November 1 (negotiable).


Applications should include the following documents submitted as PDFs:

● letter of motivation describing why you are interested in this position (1 page).
● CV (including 2 academic references with contact information and affiliation)
● a research proposal (at most 2 pages) outlining a main topic and goal, how you plan to achieve this goal (methods and approach), and how the proposed research relates to the topics mentioned above
● an electronic copy or a link to a Master’s thesis (possibly a draft), and (if applicable) a Bachelor’s thesis
● copies of official grade transcripts from your bachelor’s and master’s degrees.

You can submit your application until 20 June 11:59pm / before 21 June 2021 Dutch local time (CET) by means of the application form (click on "Apply" below on the advertisement on the university website).

Applications received by this deadline will be given full consideration; however, the position will remain open until it is filled.

Interviews are planned to be held in the week of 21-25 June 2021.

We are an equal opportunity employer and value diversity at our University. We are committed to building a diverse faculty so you are encouraged to apply. Our selection procedure follows the guidelines of the Recruitment code (NVP), and European Commission's European Code of Conduct for recruitment of researchers,

Unsolicited marketing is not appreciated.


For information you can contact:

  • Dr. Revantha Ramanayake, d.r.s.ramanayake

Please do not use the e-mail address(es) above for applications.