Postdoctoral researcher in Formal Methods

Ref PAR 2021/1638

The University of Gothenburg tackles society’s challenges with diverse knowledge. 53 500 students and 6 500 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract scientists and students from around the world. With new knowledge and new perspectives, the University contributes to a better future.

The department of Computer Science and Engineering is strongly international, with approximately 270 employees from over 30 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals. The position is placed in the unit for Formal Methods at the department, with the University of Gothenburg as the employer.

We are offering a 2-year postdoc position supported by the ERC Consolidator grant “D-SynMA”. As a postdoc you are expected to perform your own research (within the scope of the grant) and your interests and choices will inform the tasks that you take. We aim to support you in the development of your own career. Particularly, in addition to strengthening your scholarly proficiency we encourage you to collaborate and extend your networks as well as engaging in relevant staff development and trainings.

You will work on the ERC Consolidator funded project “D-SynMA: Distributed Synthesis from Single to Multiple Agents”. The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal and modal logic.
Specifically, research will focus on the following objectives:

Principal Accountabilities:

• To engage in research related to the topic of the grant:
• To plan and produce independent high-quality original research.
• To write up findings for scientific publications.
• To present scientific findings at international conferences.
• To contribute to the overall activities of the research team and department as required by providing support and guidance to other staff and students.

Personal development:

• To engage in continuous professional development, for example through participation in relevant staff development programmes or other training events.
• Further your personal recognition and network, for example through attendance in international and national conferences or research visits.

Liaison with collaborators within and outside the University of Gothenburg:

• Regular attendance at major international and national conferences to present research results and to network, contributing to personal recognition and enhancing the reputation of the University and the wider research programme.
• Additionally, you may be involved in teaching activities including supervision of Bachelor's and Master's thesis projects. Your teaching duties will account for at most 20% of your time. In addition, you may be engaged in co-supervision of PhD students.

The qualifications for academic positions are given in Chapter 4, Section 3 - 4 of the Higher Education Ordinance.

You should have obtained a doctoral degree by the application deadline to qualify for a position as postdoctoral researcher at the University of Gothenburg. The doctoral thesis shall be in a relevant area according to the specific position stated in the advertisement, for example Model Checking or Formal Verification. Since a position as postdoctoral researcher aims to give new holders of the doctorate the opportunity mainly to strengthen and develop their scholarly proficiency, we aim for those who have a doctoral degree not older than 3 years counting from last date of application.

Regulations for the evaluation of qualifications for academic positions are given in Chapter 4, Section 3 – 4 of the Higher Education Ordinance.

Essential

• PhD in computer science or closely related field.
• Strong interpersonal skills with ability to work as part of a team in addition to independently.
• Proven strong track record demonstrating high-level knowledge and skills in Verification, Model Checking, Automata on Infinite Objects, Temporal Logic, or Two-Player Games.
• Proven strong track record demonstrating high ability to write, present and publish research results in relevant conferences and journals.
• High level of proficiency in English, sufficient to undertake research, teaching and administrative activities utilising English Language materials and to communicate effectively with staff and students
• Good verbal and written communication skills.
• Ability to observe research ethics.
• Highly trustworthy with a strong work ethic.
• Ability to organize own time.

Desirable

• Experience of working with students and collaborators.
• Experience of undertaking collaborative research.
• Ability to make presentation of results to general public

Type of employment: Fixed-term employment, central agreement
Extent: 100 % of full time
Location: Department of Computer Science and Engineering /Unit of Formal Methods
First day of employment: 2022-03-01 or as soon as possible upon agreement.

Regarding the project, please contact Nir Piterman: (e-mail: [email protected] )
Regarding the position, please contact David Sands (e-mail: [email protected] ).
Regarding the appointment procedure, please contact HR-partner Kristin Kristiansson (e-mail: [email protected] ).

Union representatives at the University of Gothenburg:
https://www.gu.se/en/about-the-university/work-at-the-university-of-gothenburg/how-to-apply

Choosing a career in a foreign country is a big step. Thus, to give you a general idea of what we and Gothenburg have to offer in terms of benefits and life in general for you and your family/spouse/partner please visit:

https://www.gu.se/en/about-the-university/welcome-services
https://www.movetogothenburg.com/

Learn more and apply on The University of Gothenburgs website: https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=23207

Closing date: 2022-03-01

The University of Gothenburg promotes equal opportunities, equality and diversity. 

In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.

URL to this pagehttps://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=10126&rmlang=UK