The Fundamental Computing Group is offering a six-month post-doctoral researcher position in theoretical computer science at the University of Groningen, The Netherlands.
The successful candidate for the position 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.
Members of the Fundamental Computing group currently collaborate with researchers at multiple international universities, including Imperial College London, the University of Oxford, University of Glasgow, the University of Strathclyde, Cornell University, Carnegie-Mellon University, the 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
Duration: a temporary position of six months with the possibility of an extension
- a full-time gross salary ranging from € 3,877 to € 5,090 per month
- a holiday allowance of 8% of gross annual income and an 8.3% end-of-year allowance
- a pension scheme, partially paid parental leave, and flexible employment
The successful applicant for the postdoctoral position in theoretical computer science has:
- a PhD degree in (Theoretical) Computer Science, Logic, Mathematics, or a closely related field
- proven experience in 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.
Applications in one pdf should include:
- a cover letter
- curriculum vitae with list of publications
- a research statement (maximum 2 pages)
- contact details of three references.
To apply for the Postdoctoral Research Position in Theoretical Computer Science, click here.
Deadline: January 24, 2024.
For more information on the postdoctoral research position in theoretical computer science, visit the official site.