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/research/bernoulli/groups/fundamental-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
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.
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/research/bernoulli/groups/multi-agent-systems/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/cao-nederlandse-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/about-ug/work-with-us/?lang=en
Starting date upon agreement, but preferably before 1 April 2024
Similar Positions
-
Postdoctoral Researcher Computational Photopharmacology (1.0 Fte), University of Groningen, Netherlands, 29 days ago
28 Mar 2024 Job Information Organisation/Company University of Groningen Research Field Physics Researcher Profile First Stage Researcher (R1) Country Netherlands Application Deadline 15 May 2024 ...
-
Postdoc Public Perceptions And Acceptability Of Hydrogen Developments (1.0 Fte), University of Groningen, Netherlands, 13 days ago
13 Apr 2024 Job Information Organisation/Company University of Groningen Research Field Cultural studies Researcher Profile Recognised Researcher (R2) Country Netherlands Application Deadline 12 M...
-
Postdoc In Green And Just Urban Logistics (1.0 Fte), University of Groningen, Netherlands, 28 days ago
29 Mar 2024 Job Information Organisation/Company University of Groningen Research Field Economics Researcher Profile Recognised Researcher (R2) Country Netherlands Application Deadline 22 Apr 2024...
-
Postdoc Position In Rivers And Flood Resilient Landscapes, University of Twente (UT), Netherlands, 22 days ago
5 Apr 2024 Job Information Organisation/Company University of Twente (UT) Research Field Technology Researcher Profile Recognised Researcher (R2) Country Netherlands Application Deadline 14 May 20...
-
Postdoc Position In Rivers And Flood Resilient Landscapes, AcademicTransfer, Netherlands, 23 days ago
Postdoc position in rivers and flood resilient landscapes Postdoc position in rivers and flood resilient landscapes Published Deadline Location today 14 May Enschede Job description The challenge ...
-
Postdoc Position: Himalaya Lake Ice Dynamics, Utrecht University, Netherlands, 22 days ago
5 Apr 2024 Job Information Organisation/Company Utrecht University Research Field Physics Researcher Profile Recognised Researcher (R2) Country Netherlands Application Deadline 10 May 2024 - 21:59...