Substitute Associate Professor in Computer Science

The Department of Information Technology has a leading position in research and education, 
including world-leading research activities in formal verification and testing. The Department 
currently has about 300 employees, including 120 teachers and 110 PhD students. More than 4000 students study one or more courses each year at the department. More info: Department of Information Technology - Uppsala University 

Description of subject area of the employment: Computer science with at least solid research 
experience in the following areas:

• Algorithmic verification of software programs with the help of model checking and 
  symbolic execution; 
• Automated reasoning using the Satisfiability Modulo Theories (SMT) paradigm, with focus 
  on verification-related theories such as arrays and bit-vectors;
• Embedded systems, in particular methods for ensuring the correctness and reliability of 
  embedded software using techniques such as algorithmic and deductive verification.
• The substitute associate professor will work on the project "Designed for UPDATE: Next-Generation Embedded Systems" funded by Knut and Alice Wallenberg Foundation (KAW). 

Duties:

• Teaching, research and administration. Teaching duties include course responsibility and 
  course administration and supervision of second- and third-cycle students. The associate professor 
  is expected to contribute to teaching and course development in the area of verification and testing 
  in advanced courses. 
• Follow developments within the subject area and the development of society in general that 
  is important for the work at the university.
• The primary role of the associate professor will be to extend and strengthen the ongoing 
  research on verification and testing at the division of Computer Systems. This includes expanding 
  the existing research, co-supervising PhD students, and also expanding the groups’ research, 
  teaching and collaborative activities in verification and testing.

Qualifications Required:

• PhD in Computer Science.
• Research Expertise and Teaching Expertise. It is necessary that the pedagogical skills, the research expertise and the professional skills are relevant to the content of the employment and the tasks that will be included in the employment.
• Applicants must have completed teacher training of relevance to operations at the University, comprising ten weeks, or have acquired the equivalent knowledge. 
• Documented ability to teach in Swedish or English is a requirement unless special reasons 
  prevail. 
• Personal capabilities necessary to carry out fully the duties of the appointment.

Assessment Criteria/Ranking of applicants that fulfil the above-mentioned qualifications 
required

The ranking of eligible applicants will be based primarily on research and teaching expertise, 
which will be given equal weight.

Research Expertise comprises research merits. In addition to academic merits, research merits 
from other activities, including technology development, may also be taken into account including  research merits obtained outside the academy, which includes for example technology development and innovation ability. In assessing research expertise research quality must be the prime consideration. The scope of research, primarily in regard to depth and breadth, must also be afforded consideration. In assessing research expertise special weight will be attached to research merits in the subject area of the position, with current research excellence, as demonstrated by recent publications in leading conferences and journals. Demonstrated independence from the Ph.D. advisors, collaboration with industry or society, and a demonstrated ability to earn research grants competitively will be given merit and is not an absolute requirement.

Furthermore, consideration must be given to the capacity to plan, initiate, lead, and develop 
research and education in the third cycle, the ability to acquire funding for research in competition, as well as the demonstrated capacity to interact with others both within academia and in the wider community.

Teaching Expertise comprises educational and teaching qualifications. This expertise can have 
been achieved outside the academy through supervision, internal training, mentoring programs, etc. In assessing teaching expertise teaching quality must be the prime consideration. The scope of teaching experience, in terms of both breadth and depth, must also be afforded consideration. In assessing teaching expertise special weight will be attached to merits in teaching courses in the area of verification and testing in advanced levels

Furthermore, consideration must be given to the capacity to plan, initiate, lead, and develop 
teaching and instruction, as well as the ability to connect research to teaching in respect to research in the subject at hand, subject didactics, as well as teaching and learning in higher education. The ability to interact concerning issues of teaching and learning in higher education with actors inside and outside the University is also included in teaching expertise.

Administrative Expertise is important for the employment and will be given consideration.
Administrative expertise is demonstrated, for example, through the capacity to plan, organise, and prioritise work in an efficient and task-related manner as well as through the ability to assign and 
observe time frames. Expertise includes overall operational planning and the capacity to manage 
resources in a way that reflects operational priorities as well as the ability to work in a structured 
manner based on an awareness of goals and quality. Administrative expertise also includes 
entrepreneurship.

Management Expertise is important and will be afforded consideration. Management expertise is demonstrated through the capacity to lead operations and personnel, make decisions, take 
responsibility, and motivate others, providing them with what is needed for the efficient 
achievement of common goals. The abilities to coordinate the group and help create a sense of 
involvement, participation, and enjoyment in work and to deal with conflicts constitute further 
examples of demonstrated expertise. 

Collaboration Expertise is important and will be afforded high consideration. Collaborative 
expertise is demonstrated by the ability and skill of planning, organizing and implementing 
interaction with the surrounding community. Popular publications, public debate and lectures are 
examples of forms of interaction with the surrounding community. Other examples of collaboration are patent applications, commercialization and industrial cooperation. The ability to translate knowledge sharing with the surrounding community into activities of importance to the
education's development and quality is part of the collaboration expertise.

All merits must be documented in a manner that makes it possible to assess both quality and scope.

In filling this position the university aims to appoint the applicant who, following a qualitative 
holistic assessment of her/his competence and expertise, is judged to have the best potential to carry out and develop the relevant duties and to help advance operations.

Further information
In an overall assessment of the applicant’s qualifications, parental leave, part-time work relating to care of children, union assignments, military service, or the like are to be regarded as work 
experience.
University appointment regulations
Faculty appointment regulations
Instructions for application

Salary: Individually negotiated salary.

Starting date: 01-09-2025

Type of employment: Temporary position ending 31-03-2026

Scope of employment: 100%

Placement: Uppsala

For further information about the position please contact:  professor Mohamed Faouzi Atig 
mohamed_faouzi.atig@it.uu.se or professor Bengt Jonsson bengt.jonsson@it.uu.se 

Please submit your application by 28 July 2025, UFV-PA 2025/2038.

If you are an international candidate, you will find a lot of information about working and living in Sweden at www.uu.se/joinus.