PhD Position in Logic and Semantics of Computing (1.0 FTE)

Updated: about 2 months ago
Deadline: 21 Jun 2021

Organisation

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.


Job description

Applications are invited for a fully-funded 4-year PhD position in Logic and Semantics of Computing at the Fundamental Computing group at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen.

We are looking for an excellent PhD candidate who is interested in doing research on a topic related to modal logic, (co)algebra, or more generally, applied category theory in computer science. The PhD candidate will work under the supervision of prof.dr. Helle Hvid Hansen <h.h.hansen@rug.nl >, and the research project will be formulated in consultation with the PhD candidate.

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


Qualifications

The successful candidate should have:
? a Master’s degree or equivalent (e.g., Honours degree) in logic, computer science, mathematics or another relevant field
? an excellent academic record, and a keen interest in doing fundamental research
? strong communication skills in English (written and spoken).


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)


Information

For information you can contact:

Prof. dr. Helle Hvid Hansen,   h.h.hansen@rug.nl

(please do not use the email addresses above for applications)


Additional information
Fundamental Computing group
Bernoulli Institute for Mathematics, Computer Science and AI
Prof. dr. Helle Hvid Hansen
View or Apply

Similar Positions