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

The Department of Information Technology conducts research and education in a spectrum of areas within Computer Science and Information Technology. For more information, see http://www.it.uu.se

Research environment: There are several research groups at Uppsala University (Wang Yi, Pontus Ekberg, Philipp Ruemmer, Bengt Jonsson, Parosh Abdulla) 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.

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

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.

Qualifications: The candidates must be a well-qualified researcher with a Ph.D in computer science or related areas relevant to the topic.

Assessment criteria: 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. Documented programming skills are of particular importance, as well as successful teamwork and organizational skills. 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.

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

Salary: Individual salary.

Starting date: As soon as possible.

Type of employment: Temporary position ending 24 months.

Scope of employment: 50 %

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

Please submit your application by 17 July 2020, UFV-PA 2020/2696.

Are you considering moving to Sweden to work at Uppsala University? If so, you will find a lot of information about working and living in Sweden at www.uu.se/joinus. You are also welcome to contact International Faculty and Staff Services at ifss@uadm.uu.se.