Post-doctoral researcher position in Theoretical Computer Science (0.8-1.0 FTE) (V23.0820)
- « Back to the overview
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.
Additional information
- Fundamental Computing Group
Apply
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...
-
Scientific Researcher Circular Timber Construction (27117), Ghent University, Belgium, 13 days ago
13 Apr 2024 Job Information Organisation/Company Ghent University Research Field Architecture » Design Architecture » Other Engineering » Civil engineering Engineering » Industrial engineering Eng...
-
Research Assistant In Computational Linguistics / Ai / Data Science, In The Area Of Language In Psychosis, Universitat Pompeu Fabra, Barcelona, Universitat pompeu fabra, Spain, 1 day ago
25 Apr 2024 Job Information Organisation/Company Universitat pompeu fabra Department Department of Translation and Language Sciences Research Field Language sciences » Linguistics Psychological sc...