Researcher

The University of Gothenburg tackles society’s challenges with diverse knowledge. 56 000 students and 6 600 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers 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 300 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 as researcher is placed in the Formal Methods research group in the Division for Computing science at the department, with the University of Gothenburg as the employer.  

Duties 

You will work on developing theoretical foundations for reactive synthesis from temporal specifications. This includes studying two-player games and their solutions, models for computation, and studies of temporal and modal logic.

Specifically, research will focus on the following objectives:

1. Consider modelling frameworks that combine message passing and variable sharing allowing for synchronization as well as passage of information.
2. Consider modelling and analysis of multi-agent systems.

The researcher is expected to plan and produce independent high-quality original research, write up findings for scientific publications, present scientific findings at international conferences, contribute to the overall activities of the research team and department as required by providing support and guidance to other staff and students.

The researcher will be spending 80% of their time on research and 20% of their time on, so called, departmental duties. These are teaching-related activities required by the department, generally in the form of teaching assistance.

Qualifications 

To qualify as a researcher the applicant must have a PhD degree in computer science and previous experience as a postdoctoral researcher with relevant experience of model checking, temporal logic, or models of computation.

Employment 

Type of employment: Temporary position for 8 months
Extent: 100%
Location: Department of Computer Science and Engineering, division of Computing Science, Formal methods unit
First day of employment: 2024-05-15 or according to agreement

Contact information for the post 

If you have any questions about the position, please contact Nir Piterman (piterman@chalmers.se)
If you have any questions about the recruitment process, please contact Robin Garnham (robin.garnham@chalmers.se)

Unions 

Union representatives at the University of Gothenburg can be found here: https://www.gu.se/om-universitetet/jobba-hos-oss/hjalp-for-sokande 

Application 

To apply for a position at the University of Gothenburg, you have to create an account in our recruitment system. Submit your application via the University of Gothenburg’s recruitment portal by clicking the “Apply” button. It is your responsibility to ensure that the application is complete as per the vacancy notice, and that the University receives it by the final application deadline. 

Applications must be received by: 2024-05-13

The University works actively to achieve a working environment with equal conditions, and values the qualities that diversity brings to its operations.

Salaries are set individually at the University.

In accordance with the National Archives of Sweden’s regulations, the University must archive application documents for two years after the appointment is filled. If you request that your documents are returned, they will be returned to you once the two years have passed. Otherwise, they will be destroyed.

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.