Researcher position in embedded systems - Hiring in process/Finished, not possible to apply

Department of Information Technology conducts research and education in a spectrum of areas within Computer Science and Information Technology. For more information, see the website of the Department of Information Technology

Research area
The main task of the position is to develop new paradigm for building embedded systems that are updatable in field after deployment, and efficient and scalable techniques for run-time resource management and safety validation of dynamic updates. Research issues include design and implementation of deterministic multi-thread real-time systems, multiprocessor scheduling, end-to-end latency analysis, and verification of functional and non-functional correctness of embedded systems.

Research environment
There are several research groups at Uppsala University that are world-renowned in the fields of embedded and real-time systems, and formal verification.  Past contributions including fundamental results in real-time systems, high-impact techniques and tools for modelling and verification such as include the UPPAAL model checker. Members received ERC advanced grant in 2018, KAW grant 2019, and the IEEE Outstanding Technical Achievement and Leadership, Technical Committee on Real-Time Systems in 2019 (Wang Yi), and CAV (Computer-Aided Verification) Award in 2013 (Wang Yi) and 2017 (Parosh Abdulla and Bengt Jonsson), the most prestigious academic awards in the respective fields.

Read more about our benefits and what it is like to work at Uppsala University

Duties
The position is focused on research but may include a limited amount of project administration.

Requirements
The candidates must be a well-qualified researcher with a Ph.D in computer science or related areas relevant to the topic. Excellent abilities in written and spoken English are a requirement.

The ranking of eligible applicants will be based primarily on research expertise relevant for the project: research experience in embedded and real-time systems, safety-critical systems, synchronous programming, formal methods, and formal verification.  High-quality publications as lead author in international peer-reviewed conferences and journals are expected. The assessment of applications is based primarily on the applicant's ability to conduct independent research based on scientific skill. Greater importance is attached to the quality of individual scientific work than to the amount of publications.

Additional qualifications
Successful teamwork and organizational skills are an advantage.

Application: The application should include a CV, and a web reference to his/her previous work in academia.

About the employment
The employment is a permanent position. Scope of employment 20%. Starting date as soon as possible or as agreed. Placement: Uppsala.

For further information about the position, please contact: Prof Wang Yi, yi@it.uu.se

Please submit your application by 15 November 2022, UFV-PA 2022/3919.

Are you considering moving to Sweden to work at Uppsala University? Find out more about what it´s like to work and live in Sweden.