Are you interested in working in automated program verification and/or software engineering, with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in sustainable employeeship and offers safe, favorable working conditions? We welcome you to apply for a PhD position at Uppsala University.
The Department of Information Technology holds a leading position in both research and education at all levels. We are currently Uppsala University's third largest department, and have around 350 employees, including 120 teachers and 120 PhD students. Approximately 5,000 undergraduate students take one or more courses at the department each year. You can find more information about us on the Department of Information Technology website.
The PhD position is hosted by the Division of Computing Science and specifically within the Programming Languages group that currently consists of 8 faculty and 8 PhD students that are working on different aspects of programming language design, verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment.
Project description
PhD thesis projects are available as part of the ERC Starting grant project HORNET on practically usable automated verification and debugging techniques for numerical programs. These programs are widely used in safety-critical systems, data analysis, weather forecasting, physics, engineering and more, but verifying and debugging their accuracy and reliability today is challenging due to rounding errors and limitations of current tools. One aspect that this project focuses on is accuracy of finite-precision programs with respect to a real-valued (and thus error-free) program specification. Possible thesis projects can explore a variety of directions such as automated program verification, specification inference, fault localization, practical usability, etc. in the context of numerical finite-precision programs. Such projects will typically include both a theoretical part, developing new techniques and approaches, as well as implementations that can be practically used.
Duties
A doctoral student will devote the time to graduate education mainly. The rest of the duties may involve teaching at the Department, including also some administration, to at most 20%.
Requirements
To meet the entry requirements for doctoral studies, you must
We are looking for candidates with
Additional qualifications
Experience and courses in one or more subjects are valued: static program analysis, dynamic analysis, program testing, program verification, program logics, advanced compiler construction, software engineering, debugging.
Application
The application must include:
Promising applicants will be invited for an interview on-site before hiring.
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 1 March 2025 or as agreed. Placement: Uppsala
For further information about the position, please contact: Associate Professor Eva Darulova, e-mail: eva.darulova@it.uu.se.
Please submit your application by 2 December 2024, UFV-PA 2024/3663.
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.
Type of employment | Temporary position |
---|---|
Contract type | Full time |
First day of employment | 2025-03-01 or as agreed |
Salary | Fixed salary |
Number of positions | 1 |
Full-time equivalent | 100% |
City | Uppsala |
County | Uppsala län |
Country | Sweden |
Reference number | UFV-PA 2024/3663 |
Union representative |
|
Published | 29.Oct.2024 |
Last application date | 02.Dec.2024 11:59 PM CET |