5 Mar 2024
Job Information
- Organisation/Company
University of Gothenburg- Research Field
Computer science » Other- Researcher Profile
First Stage Researcher (R1)- Country
Sweden- Application Deadline
1 Apr 2024 - 22:00 (UTC)- Type of Contract
Temporary- Job Status
Full-time- Is the job funded through the EU Research Framework Programme?
Not funded by an EU programme- Reference Number
1035--1-33560- Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
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 postdoc position 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.
Subject area description
Join the SynTM research project and be part of developing novel 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, including (but not limited to) controller synthesis.
The research group is part of the Formal Methods unit within the Computing Science division . 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.
Our research involves developing theories and 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). Concrete tasks may involve (but not limited to) further developing existing theories and tools, developing case studies that showcase the practical impact of existing theories. However, there may be opportunities to broaden the reach of activities based on mutual interests.
Duties
The position is a full-time position for two years in the Formal Methods research group at the Department of Computer Science and Engineering. The successful applicant will be expected to conduct high-quality research and to publish in leading international venues. The applicant should be able to work both independently and as part of a team on research related broadly to the goals of the project and communicate the results verbally and in writing.
Additionally, the successful applicant will be expected to perform teaching activities including supervision of Bachelor's and Master's thesis projects for at most 20% of her/his time, as well as possible co-supervision of PhD students.
Eligibility
The eligibility criteria for employing teaching staff are set out in Chapter 4 of the Higher Education Ordinance and in the Appointment Procedure for Teaching Posts at the University of Gothenburg.
To be eligible for appointment as a postdoc, the applicant is required to have a doctoral degree, a doctoral degree in art or a foreign degree that is deemed to be equivalent to a doctoral degree. This eligibility requirement must be met before the employment decision is made.
In the first instance, those who have completed their degree no more than three years prior to the end of the application period shall be considered. Those who have completed their degree more than three years prior to the end of the application period may also be considered in the first instance if special grounds exist. Special grounds relate to leave of absence due to illness, parental leave, commissions of trust within union organisations, service within the defence services or other similar circumstances, as well as clinical service or service/assignment relevant to the subject area.
Assessment criteria
Regulations for the evaluation of qualifications for academic positions are given in Chapter 4, Section 3 – 4 of the Higher Education Ordinance.
Competitive candidates are expected to have a strong background, with an excellent publication record, and experience of working with one (or more) of the following:
- Formal methods (e.g., concurrency, automata, or temporal/spatial logics, etc) or discrete control (e.g., planning, supervisory control, or controller synthesis, etc).
- Verification tools such as Model Checkers, Synthesis Engines, etc.
- Prior experience in combining reinforcement learning with reactive synthesis and/or control is a plus.
Experience of supervising doctoral students, master's students, and teaching in third cycle courses will also be considered as a merit.
The applicant 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 together with accuracy and interest in research.
Contact information
If you have any questions about the projekt, please contact Yehia Abd Alrahman ([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
Submit your application via the University of Gothenburg’s recruitment portal . 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-04-02
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.
Requirements
- Research Field
- Computer science
- Education Level
- PhD or equivalent
- Languages
- ENGLISH
- Level
- Excellent
- Research Field
- Computer science » Other
- Years of Research Experience
- 4 - 10
Additional Information
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- University of Gothenburg
- Country
- Sweden
- City
- Göteborg
- Postal Code
- 41296
- Street
- Rännvägen 6B
Where to apply
- Website
https://web103.reachmee.com/ext/I005/1035/main?site=7&validator=9b89bead79bb725…
Contact
- City
Göteborg- Street
Rännvägen 6B- Postal Code
41296
STATUS: EXPIRED
Similar Positions
-
Postdoctoral Researcher In Electrocatalysis, Chalmers University of Technology, Sweden, about 16 hours ago
Electrocatalysis will play a pivotal role in the transition from our fossil fuel-based society to a more sustainable and renewable society. In this project, you will investigate novel electrocatal...
-
Postdoctoral Research Fellow Position Within Organic Synthesis/Medicinal Chemistry , University of Bergen, Norway, about 15 hours ago
12th May 2024 Languages English English Norsk Nynorsk English Postdoctoral Research Fellow position within organic synthesis/medicinal chemistry Apply for this job See advertisement UiB - Knowledg...
-
Post Doctoral Fellow In Integrated Photonics, Chalmers University of Technology, Sweden, about 16 hours ago
Research description The research topic is integrated photonics in a relatively broad sense and will involve concepts to integrate multiple optical functions in a single platform relying on hetero...
-
Post Doctoral Fellow In 'Noiseless' Optical Amplifiers And Applications, Chalmers University of Technology, Sweden, about 16 hours ago
Research description The research topic is integrated phase-sensivive optical amplifiers and their application in receivers for very long free-space links but also potentially in Lidar, quantum te...
-
Postdoc In Data Driven Modeling For Monitoring Wind Turbine Bering Operation (2024 221 102697), Aalborg University, Denmark, about 6 hours ago
We are is seeking a Post Doc candidate for a project in collaboration with Siemens-Gamesa; focused on the development and application of data driven modeling techniques for monitoring the health o...
-
Post Doc At Micro Max/Frag Max (2 Years) (Pa2024/1110) , University of Lund, Sweden, about 9 hours ago
Your team The macromolecular crystallography (MX) group is responsible for the BioMAX and MicroMAX beamlines and the FragMAX fragment screening facility. BioMAX is in user operation since 2017 wit...