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.
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
Additional Qualifications
Candidates should have experience and interest in both theoretical research and practical tool development, as well as engagement with industrial applications.
Application
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.
Tagged as: Life Sciences
Postdoctoral Position In Materials Physics Are you interested in working with experimental physics and fusion materials, with the support of...
ApplyPostdoctoral Position in Toxicity of Battery Materials Are you interested in working in an interdisciplinary project on toxicity of novel...
ApplyPostdoctoral Position on Impacts of Extreme Climate Events Are you interested in working within research on Impacts of Extreme Climate...
ApplyPostdoctoral Researcher To The Group For Protein Chemistry Lund University was founded in 1666 and is repeatedly ranked among the...
ApplyPostdoctoral Researcher in Eating Disorder Epidemiology and Genetics The Department of Medical Epidemiology and Biostatistics conducts research in epidemiology and...
ApplyPost Doc Regenerative Neurophysiology Lund University was founded in 1666 and is repeatedly ranked among the world's top universities. The...
ApplyPlease visit uu.varbi.com.
Don't forget to mention that you found the position on jobRxiv!
