Researcher in Verification and testing of Concurrent Programs - 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. 

The research position is offered by the department’s Division of Computer Systems, which conducts world-leading research on a wide range of topics related algorithmic verification, communication research, computer architecture, and embedded systems. The division has around 55 employees, including 10 professors, 8 university lecturers, 8 researchers and post-docs, and 25 PhD students.

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

Duties
The Division of Computer Systems seeks to strengthen its core research activities through the recruitment of one researcher. We are looking for a researcher with strong interest in the verification and testing of concurrent programs. More precisely, the goals include establishing the required theoretical basis for the verification and testing of concurrent programs, designing fundamental methods and tools that extend the state-of-the-art, and carrying out a substantial implementation effort to produce verification tools that will run on real programs. Supervision of PhD students and MSc theses in the area is also part of the duties, as well as involvement in research projects of the Algorithmic Program Verification group (for more information on the focus of the research group, please see https://www.it.uu.se/research/docs/fm/apv ).

The research position is time-limited for a maximum of one year, and may include some teaching (at most 20%).

Requirements
You should have a Ph.D. degree in Computer Science, Computer Engineering, or equivalent.  A successful candidate should have a good research experience in: model checking, formal verification and reasoning about weak memory models for concurrency, as well as be proficient in building software systems and tools. The applicant must have good skills in spoken and written English.

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

For further information about the position, please contact: David Black-Schaffer, 018-471 6830, david.black-schaffer@it.uu.se.

Please submit your application by 24 October 2022, UFV-PA 2022/3450.

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.