Post-doctoral Positions in Logic and Theoretical Computer Science (2.0 FTE) (221330-31)
Applications are invited for two post-doctoral positions at the Fundamental Computing group at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen. Each position is for 1 year and has the possibility of extension. The positions are funded by the FWF project UNITARY-IDEAL led by Dr Revantha Ramanayake.
The project aims to investigate the various properties of non-classical logics, to unify various proof-theoretic approaches, and possibly also to build automated theorem provers. Proof theory is a prominent feature but we welcome ideas from many areas including well-quasi-orderings, combinatorics, algebraic semantics, computational models (for proving complexity lower bounds).
The post-doctoral researchers will be expected to contribute to topics related to the project in collaboration with Dr Ramanayake, other researchers in the group, and independently. Support will be provided for career development and the successful candidates will be encouraged to develop an independent research programme. Funding is allocated for the presentation of re-search at international conferences.
You will have (or be close to completing) a PhD in Logic (theoretical computer science or math-ematics), or an equivalent qualification. You will have an excellent research record, ideally with expertise in proof theory and non-classical logics. Applicants are encouraged to demonstrate how their expertise in other topics could contribute to this project.
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 post-doctoral researcher would 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 recognised research on formal methods using concepts and theories from logic, type theory, category theory and dis-crete mathematics. The general aim is to improve the correctness and reliability of software, and further develop the foundations of computing.
Conditions of employment
We offer you in accordance with the Collective Labour Agreement for Dutch Universities:
● a salary from a minimum of € 3,353 (salary scale 10.4) gross per month for a full-time position depending on relevant experience and training
● 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). Each position is for 1 year and has the possibility of extension.
The intended starting date is between Sep-tember 1 and November 1 2021 (negotiable)
Applications should include the following documents submitted as PDFs
● a description of the research you would like to undertake in this position (at most 3 pages)
● CV (including publication list, and 2-3 academic references with contact information and affiliation)
● a electronic copy / link to at most 3 of the applicant’s research works.
● a electronic copy / link to a PhD thesis (possibly a draft). The candidate is invited to sub-mit an electronic copy / link to their Master’s/Bachelor’s thesis if available.
● copies of official grade transcripts from your bachelor’s and master’s degrees.
You can submit your application until 20 June 11:59pm / before 21 June 2021 Dutch local time (CET) by means of the application form (click on "Apply" below on the advertisement on the university website).
Applications received by this deadline will be given full consideration; however, the position will remain open and applications will be accepted until it is filled.
Interviews for short-listed candidates are planned for the week of 21-25 June 2021.
We are an equal opportunity employer and value diversity at our University. We are committed to building a diverse faculty so you are encouraged to apply. Our selection procedure follows the guidelines of the Recruitment code (NVP), https://www.nvp-hrnetwerk.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.
For information you can contact:
- Dr. Revantha Ramanayake, d.r.s.ramanayake rug.nl
Please do not use the e-mail address(es) above for applications.