1-3 PhD positions on Embedded Systems - 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 280 employees, including 120 teachers and 110 PhD students. More than 4000 students study one or more courses at the department each year. More info: http://www.it.uu.se

Duties/Project description: The topic for the PhD positions is to develop new paradigm and techniques for building next-generation safety-critical embedded systems that are updatable after deployment, and efficient and scalable techniques and tools for run-time resource management and safety validation of dynamic updates in field. Research issues include design and implementation of deterministic multi-thread real-time systems, multiprocessor scheduling, end-to-end latency analysis, and formal verification of functional and non-functional correctness, as well as implementation of real-world systems.

Research environment: The positions are funded by the recent ERC Advanced Grant received by Prof Wang Yi from the European Research Council (https://erc.europa.eu/). 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 include the UPPAAL model checker, fundamental results in real-time scheduling, high-impact techniques and tools for modelling and verification. Members received the IEEE TCRTS (Outstanding Technical Achievement and Leadership, Technical Committee on Real-Time Systems) Award 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.

Requirements: The candidate should have a Master of Science in Computer Science, Computer Engineering, or equivalent, in a field which is relevant for the work. It is helpful to have a good background in some of the fields of embedded systems, real-time systems, program analysis, model checking, formal verification, software engineering, and similar, as well as to be proficient in implementing non-trivial algorithms. We expect the candidate to be fluent in verbal and written English.

The position is for a maximum of five years and includes departmental duties at a level of at most 20% (typically teaching) as well as taking graduate courses. The candidate will be expected to teach in English or Swedish.

Rules governing PhD students are set out in the Higher Education Ordinance chapter 5, §§ 1-7 and in Uppsala University's rules and guidelines http://regler.uu.se/?languageId=1.

How to apply: The application should include a statement of purpose, motivating preferred research directions. The application should further include a description of past experience, a CV, copies of exams, degrees and grades, a copy of Master thesis (or a draft thereof), relevant publications, and other relevant documents. The candidates should indicate the earliest feasible starting date of employment and are encouraged to provide letter(s) of recommendation and contact information to reference persons.

Uppsala University strives to be an inclusive workplace that promotes equal opportunities and attracts qualified candidates who can contribute to the University’s excellence and diversity. We welcome applications from all sections of the community and from people of all backgrounds.

Salary: According to local agreement for PhD students.
 
Starting date: As agreed upon.

Type of employment: Temporary position according to the Higher Education Ordinance chapter 5 § 7.

Scope of employment: 100 %

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

Please submit your application by 10 June 2019, UFV-PA 2019/1788.

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.