Up to two Postdoctoral positions in Embedded Real-Time Systems Design

Are you excited to contribute to the development of a new tool-chain for embedded systems design, supported by an ERC advanced grant and the Wallenberg Foundation together with friendly, knowledgeable, and passionate colleagues? Are you seeking an international research environment that values sustainable, collegial collaboration and provides strong career mentorship? Are you motivated to drive research forward based on your own ideas and initiative, with support from experienced researchers? If so, this is an excellent opportunity for you.

The Department of Information Technology holds a leading position in both research and education at all levels. It is currently Uppsala University’s third largest department, with approximately 350 employees, including 120 faculty members and 120 PhD students. Each year, around 5,000 undergraduate students take one or more courses at the department. More information can be found on the Department of Information Technology website.

Research Topic

At Uppsala University, we are developing a new tool-chain, MIMOS, for model-based development and dynamic updates of safety-critical embedded real-time systems. MIMOS is based on a novel asynchronous design paradigm that enables incremental system design and dynamic updates after deployment. The tool-chain supports the full system design flow, including modeling, simulation, formal verification, resource scheduling and isolation, multi-core code generation, and—most importantly—safe in-field updates after deployment with formal safety guarantees.

The tool-chain is now ready for release for academic use. To further strengthen MIMOS, particularly in areas related to AI-assisted design, verification, and real-time scheduling, we are seeking two postdoctoral researchers with strong backgrounds in Formal Verification, Real-Time Scheduling, and/or Industrial Applications.

Duties

The successful candidates will conduct research, publish in high-quality venues, supervise and advise students, and may also participate in teaching activities in the area of real-time systems.

Requirements

• A PhD degree in Computer Science, Computer Engineering, or a foreign degree deemed equivalent to a PhD in these fields. The degree must be obtained by the time of the employment decision.
• Candidates who obtained their PhD within three years prior to the application deadline will be given primary consideration. The three-year period may be extended due to special circumstances such as parental leave, sick leave, or service in labor unions.
• Excellent proficiency in spoken and written English.
• A clearly documented high level of self-motivation.
• Strong ability to work collaboratively in a diverse research environment, including comfort with giving and receiving constructive feedback.
• Demonstrated skills in critical thinking and structured, independent work. These personal competencies are considered as important as technical qualifications for ensuring a constructive and collegial work environment.

Additional Qualifications

Candidates should have experience and interest in both theoretical research and practical tool development, as well as engagement with industrial applications.

Application

• A cover letter (max 2 pages), in English, briefly describing your motivation for applying for this position and the earliest possible employment date. The cover letter should include the heading Suitability for this position, containing a self-assessment on why you would be the right candidate for this position.
• A curriculum vitae (CV).
• Transcript of PhD degree, including courses taken during PhD studies, or a draft of the thesis if the degree is not yet completed.
• A list of publications.
• A research statement describing your past and current research (max 1 page) and a proposal for future activities (max 1 page).
• Two references with contact information (names, emails and telephone number) and up to two letters of recommendation.

About the employment
The employment is a temporary position of two years according to central collective agreement with possibility of one-year extension.  Full time position. Starting date 1 june 2026 or as agreed. Placement: Uppsala.

For further information about the position, please contact: Professor Wang Yi, +46 704250293, wang.yi@it.uu.se.

Please submit your application by 28 February 2026, UFV-PA 2026/248.