Up to 5 Post-Doctoral Positions in Computer Science and Engineering - Hiring in process/Finished, not possible to apply

The Department of Information Technology has a leading position in research and education. The Department currently has about 300 employees, including 120 teachers and 110 PhD students. More than 4000 students study one or more courses at the department each year. You can find more information about us at the web page of the department of Information Technology

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

Duties/Project description
The functionality as well as economical value of many industrial systems and products, for instance cars, airplanes, drones/blimps, and medical devices, is today defined and realized by embedded software. A key challenge in the design of such systems is the ability to update software (to add new features, to customize a system, or to fix security vulnerabilities) without compromising the overall safety and security. This is extremely difficult due to the complexity of today’s software and hardware architectures, with the result that safe system updates after deployment become nearly impossible. Uppsala University has two new exciting projects about updatable, next-generation embedded systems: the ERC project CUSTOMER, and the Wallenberg project UPDATE. The projects bring together world-leading research groups in several areas related to Embedded Systems Design and Implementation: the Uppsala Networked Objects group, the Verification and Testing group, and the Embedded Systems. Current senior members of the projects include: Susanne Graf, Bengt Jonsson, Luca Mottola, Philipp Ruemmer, Thiemo Voigt and Wang Yi.

Currently, we are developing a new system architecture for embedded systems that supports the ability to deploy incremental updates, allowing components to be seamlessly integrated and updated, while guaranteeing the deterministic behaviour of systems; scalable methods and verification tools that automatically verify, in-the-field, that intended updates preserve and ensure safety conditions; efficient scheduling algorithms for optimal resource utilization for state-of-the-art computing platforms to enable dynamic updates; robust protocols and run-time techniques for secure deployment and enforcement of verified and accepted updates even in safety-critical environments such as drones/blimps. Our goal is to develop a tool environment for embedded systems design including software tools for design/modelling, simulation, scheduling, verification and implementation/code generation, as well as dynamic updates for embedded real-time applications on multicore platforms.

We are therefore looking for Post docs who are interested in the following areas (but not restricted):

• System architectures for embedded systems
• Modelling and verification e.g. contract-based reasoning
• Real-time scheduling and analysis
• Programming of multicore processors including code generation
• Embedded applications e.g. mobile robots

Requirements
A Post-Doctoral position requires a Ph.D. degree in Computer Science, Computer Engineering, Embedded Systems or equivalent. The degree should typically have been obtained not more than three years ago. A successful candidate should have a strong research experience in some of the following fields: embedded real-time systems, formal methods, formal modelling and verification, testing, software engineering, programming language, compiler techniques, program analysis, and similar, as well as be proficient in building software systems and tools. The applicant must have good skills in spoken and written English.

A Post-Doctoral position is time-limited for 3 years, which may include some teaching duties (at most 20%).

Criteria for ranking
When ranking several qualified applicants, scientific excellence in the area will be of primary importance. The university aims to recruit the person who, in the combined evaluation of competence, skills and documented qualification, is judged most suitable to independently carry out and develop the work at hand, and to contribute to a positive development of the CUSTOMER and UPDATE projects and the department.

Application
Applications should include a description of research interests and past experience, including a motivation for applying for this position, a CV, copies of exams, degrees and grades, a copy of Ph.D. thesis (or a draft thereof), relevant publications, and other relevant documents.  Applications should be accompanied by at least two letter(s) of recommendation or contact information to reference persons, as well as earliest feasible starting date of employment.

About the employment
The employment is a temporary position 3 years. Scope of employment 100 %. Starting date as agreed. Placement: Uppsala

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

Please submit your application by 14 November 2022, UFV-PA 2022/3517.

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.