PhD student in the verification of concurrent programs

Uppsala University

Sweden

December 17, 2021

Description

PhD student in the verification of concurrent programs

Published: 2021-11-22

Uppsala University is a comprehensive research-intensive university with a strong international standing. Our ultimate goal is to conduct education and research of the highest quality and relevance to make a long-term difference in society. Our most important assets are all the individuals whose curiosity and dedication make Uppsala University one of Sweden's most exciting workplaces. Uppsala University has over 45,000 students, more than 7,000 employees and a turnover of around SEK 7 billion.

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. More info: https:// www. it.uu.se.

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

Duties Concurrent programs are (more and more) present at different levels of computer systems, ranging from distributed applications for large networks to basic software running on multi-core processors. The design and development of concurrent systems present many challenges due to the complexity of their behaviors that result from the interactions between their components. It is, therefore, crucial to develop formal methods to verify their correctness automatically concerning some specifications. This project aims to design fundamental techniques and tools that extend state-of-the-art verification of concurrent programs. To that end, the Ph.D. student will establish the required theoretical basis and carry out a substantial implementation effort to produce verification tools that will run on real programs.

The position is for four years of research but will typically include 20% teaching extending five years. You will be expected to teach in Swedish or English.

Requirements The candidate should have a Master of Science in computer engineering, electrical engineering, or equivalent, ideally with a strong background in theory (automata, logic, algorithms, etc.) and good programming skills. Good English communication skills, both spoken and written, are required.

Additional qualifications Practical experience in software development (including tool prototype development) is a plus.

Rules governing PhD students are set out in the Higher Education Ordinance chapter 5, §§ 1-7 and in Uppsala University's rules and guidelines.

About the employment The employment is a temporary position according to the Higher Education Ordinance chapter 5 § 7 . Scope of employment 100 %. Starting date as soon as possible or as agreed. Placement: Uppsala.

For further information about the position, please contact: Professor Parosh Aziz Abdulla 018-471 31 63, parosh@it.uu.se or Associate Professor Mohamed Faouzi Atig, 018-471 31 59 , mohamedfaouzi.atig@it.uu.se.

Please submit your application by 17 December 2021, UFV-PA 2021/4448.

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.

Please do not send offers of recruitment or advertising services.

Submit your application through Uppsala University's recruitment system.

Placement: Department of Information Technology

Type of employment: Full time , Temporary position longer than 6 months

Pay: Fixed salary

Number of positions: 1

Working hours: 100 %

Town: Uppsala

County: Uppsala län

Country: Sweden

Union representative: ST/TCO tco@fackorg.uu.se Seko Universitetsklubben seko@uadm.uu.se Saco-rådet saco@uadm.uu.se

Number of reference: UFV-PA 2021/4448

Last application date: 2021-12-17

Similar Jobs

Germany Universities

Germany 2 days ago

Add to favorites Read more...

Doctoral Researcher (f/m/d) at Faculty 3 – Computer ScienceUniversität Bremen • Fachbereich Mathematik und Informatik • Bremen

Time Span as soon as possible for 3 years Application Deadline 15 Jan Computer Science) of the University of Bremen is offering the following position – under the condition of job release – for a...

Göteborg University

Sweden Nov 18, 2021

Add to favorites Read more...

Student Assistant Within Research, One Or More, Software Engineering

The University of Gothenburg tackles society's challenges with diverse knowledge and new perspectives, the University contributes to a better future. department with the University of Gothenburg and Chalmers University of The department is now looking...