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 department of Computer Science and Engineering is now looking for two associate researchers. The positions are placed in the Formal Methods research group in the Division for Computing Science at the department.
The unit and the broader division are lively environments with fun interactions between research areas such as Formal Verification, Functional Programming, Type Theory, Information Security and more.
Join the SynTM research project and be part of developing novel tools for correct-by-design techniques for autonomous systems. This position is part of a grant, named SynTM (from the Swedish Research Council), on automatic synthesis of programs for autonomous systems. Early results appeared in venues such as AAMAS, ACC, JAAMAS etc. Our goal is to build correct-by-design techniques for autonomous systems.
You will work with Dr. Yehia Abd Alrahman (PI) and his Postdoc Dr. Adina Aniculaesei. You will have the opportunity to test your tools on actual robots.
Our research involves developing techniques for formal verification of autonomous systems, e.g., controller synthesis, planning, run-time verification, model checking, etc. Moreover, we are open to techniques that leverage the use of formal verification in machine learning.
Currently, we are actively developing specialised tools for reconfigurable concurrent systems (the ReCiPe formalism, the R-CHECK Model-Checker, and the SynTM synthesis engine). You are expected to develop tools in the robotic operating system ROS2, to develop case studies that showcase the practical impact of the tools. However, there may be opportunities to broaden the reach of activities based on mutual interests.
Duties
The successful applicant will be expected to develop tools in the ROS2 operating system. The applicant should be able to work both independently and as part of a team on programming related tasks broadly to the goals of the project and communicate the results verbally and in writing.
Qualifications
To be eligible for appointment as associate researcher, the applicant is required to have a bachelor’s degree in a relevant area, for example computer science or control engineering, or a foreign degree that is deemed to be equivalent to a bachelor’s degree. This eligibility requirement must be met before the employment decision is made.
Competitive candidates are expected to have a strong background experience of working with:
- ROS2 development, python programming.
- Knowledge of verification and model-checking is a plus but not required.
However, we also welcome candidates working on nearby areas who would be interested in getting into the field.
The applicants should be able to work both independently and as part of a team. The abilities to cooperate and to take own initiatives are important qualities.
When evaluating the applicants, particular emphasis will be put on programming skills in the relevant field.
English is the working language for us at the Department of Computer Science and Engineering. Thus, both verbal and written fluency in English is mandatory for candidates.
Employment
Type of employment: Fixed-term employment for 3 months, central agreement
Extent: 100% of full-time
Location: Department of Computer Science and Engineering, Division of Computing Science, Formal methods research group
First day of employment: 2025-08-01 or according to agreement
Contact information for the post
If you have any questions about the project, please contact Yehia Abd Alrahman [email protected]
If you have any questions about the position, please contact Carl-Johan Seger [email protected]
If you have any questions about the recruitment process, please contact Sanna Staf [email protected]
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.
The application is to be written in English.
CV including:
- CV, include complete list of your programming assignments.
- Information about your degree and transcripts.
Personal letter 1-3 pages where you:
- Introduce yourself;
- Describe your previous projects and your contributions.
- Describe your goals and future focus.
Other documents:
- Attested copies of completed education, grades and other certificates.
Applications must be received by: 2025-07-06
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.
