Last Date: 25 January 2024.
Job description
We offer a six-month post-doctoral researcher position at the University of Groningen, The Netherlands. As a post-doc, you will work together with Helle Hvid Hansen and Jorge A. Pérez within the Fundamental Computing Group (https://www.rug.nl/(…)ndamental-computing/) of the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence. You will contribute to the research activities of the group on logic and semantics of computation, with a focus on the formal specification and analysis of software systems.
About the University of Groningen
Since its foundation in 1614, the University of Groningen has enjoyed an international reputation as a dynamic and innovative center of higher education offering high-quality teaching and research. Balanced study and career paths in a wide variety of disciplines encourage currently more than 34,000 students and researchers to develop their own individual talents. Belonging to the best research universities in Europe and the top 100 universities in the world, the University of Groningen is truly an international place of knowledge.
The Fundamental Computing Group
Embedded in the Faculty of Science and Engineering, the Fundamental Computing group conducts cutting-edge research in Theoretical Computer Science with a focus on the development of rigorous methods for ensuring correct and reliable software.
The group currently consists of two associate professors, three assistant professors, and four PhD students; it accumulates research expertise on modal logic, coalgebra, proof theory, concurrency theory, type systems, programming languages, program logics, and exact algorithms.
Members of the Fundamental Computing group currently collaborate with researchers in multiple international universities, including Imperial College London, University of Oxford, University of Glasgow, and University of Strathclyde, Cornell University, Carnegie-Mellon University, University of Denver, INRIA (France), and MPI-SWS (Germany), to name just a few. The group is active in outreach activities aimed at disseminating the importance of developing correct software using rigorous methods and tools
Qualifications
The successful applicant has:
- a PhD degree in (Theoretical) Computer Science, Logic, Mathematics, or a closely related field
- proven experience on scientific research, preferably well-aligned with the research expertise of the Fundamental Computing Group as evidenced by publications in leading journals and/or conferences
- a working proficiency in English; knowledge of the Dutch language is not required.
Organisation
Conditions of employment
You will be employed by the University of Groningen (UG). You will have the opportunity to work in a vibrant research environment and interact with researchers from related groups of the Bernoulli Institute, such as the Multi-Agents Systems group (https://www.rug.nl/(…)/multi-agent-systems). Depending on your interests, you can contribute to national activities organized by the Institute for Programming research and Algorithmics (IPA – https://ipa.win.tue.nl/) and the Dutch Association for Logic and Philosophy of the Exact Sciences (VvL – https://www.verenigingvoorlogica.nl/en/), and you will have the opportunity to participate in (co)supervising students (BSc, MSc, PhD) and strengthening your teaching portfolio.
We offer on the Collective Labour Agreement Dutch Universities (CAO – https://www.universiteitenvannederland.nl/(…)andse-universiteiten):
- a full-time gross salary ranging from € 3,877 to € 5,090 per month (salary scale 10)
- a holiday allowance of 8% gross annual income and an 8.3% end-of-the-year allowance
- a pension scheme, partially paid parental leave, and flexible employment
- a temporary position of six months due to sick leave replacement with the possibility of an extension
- an appointment for 0.8 to 1.0 FTE.
In addition to the employment conditions laid down in the CAO for Dutch Universities, the University of Groningen has several own arrangements ranging from professional development and leave arrangements to sports.
More information about working at the University of Groningen can be found here: https://www.rug.nl/(…)ork-with-us/?lang=en
Starting date upon agreement, but preferably before 1 April 2024
Application
If you have the expertise and the experience to thrive in this role then we encourage you to submit your application enclosing:
- a cover letter
- your curriculum vitae with list of publications
- a research statement (max 2 pages), detailing your plans for a postdoc in our group
- contact details of three references.
The applications can be submitted until 24 January 11:59PM / before 25 January 2024 Dutch local time (CET) by means of the application form (click on “Apply” below on the advertisement on the university website).
The University of Groningen strives to be a university in which students and staff are respected and feel at home, regardless of differences in background, experiences, perspectives, and identities. We believe that working on our core values of inclusion and equality are a joint responsibility and we are constructively working on creating a socially safe environment. Diversity among students and staff members enriches academic debate and contributes to the quality of our teaching and research. We therefore invite applicants from underrepresented groups in particular to apply. For more information, see also our diversity policy webpage: https://www.rug.nl/(…)rsity-and-inclusion/
Our selection procedure follows the guidelines of the Recruitment code (NVP): https://www.nvp-hrnetwerk.nl/nl/sollicitatiecode and European Commission’s European Code of Conduct for recruitment of researchers: https://euraxess.ec.europa.eu/jobs/charter/code
Unsolicited marketing is not appreciated.
Information
For information you can contact:
- Prof. Jorge A. Pérez, Leader, Fundamental Computing group, [email protected]
Please do not use the e-mail address(es) above for applications.
Apply
