Project assistant in computer science: static analysis of floating-point computations

Are you interested in working with a state-of-the-art static program analyzer, 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, favourable working conditions? We welcome you to apply for a project assistant 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.

Duties
The program analyzer Daisy is a state-of-the-art static analyzer for programs that contain floating-point computations. It can fully automatically and rigorously bound rounding errors due to finite precision. It is being actively developed as part of several related, but independent research projects. As a result, some of the features of Daisy currently only exist in separate branches in the code repository and are neither integrated into the main branch, nor with each other. The tasks of this position are to merge some of these branches, to integrate their features fully into the main code base and to empirically evaluate their effect on state-of-the-art benchmarks.

Requirements
BSc degree in computer science or a foreign degree that is equivalent. Documented experience with the Scala and Rust programming languages.

Additional qualifications
Experience with static program analysis and/or e-graphs is a plus. The candidate must clearly document a high degree of self-motivation in the application. In addition, the applicant must be able to work well in a diverse group, be comfortable giving and receiving constructive criticism, and have strong abilities for critical thinking and structured work. Excellent skills in spoken and written English are required. We will also consider the personal suitability for the project and the surrounding research environment.

About the employment
The employment is a temporary position of 3 months. Scope of employment 20 %. Starting date 14 October 2024 or as agreed. Placement: Uppsala

For further information about the position, please contact: Eva Darulova, eva.darulova@it.uu.se.

Please submit your application by 4 of October 2024, UFV-PA 2024/3237.

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.