Assistant Professor in Computer Science with a specialization in Formal Verification

The Department of Information Technology, Uppsala University, invites applications for a position as Assistant Professor in Computer Science with a specialization in Formal Verification.

The Department of Information Technology has a leading position in research and education, including world-leading research activities in formal verification and testing. The assistant professor is expected to contribute to and develop the department's profile in research and teaching in the are of formal verification.

Candidates are expected to have research merits in least one of the following areas: verification of parallel, concurrent, and distributed programs; verification of smart contracts and blockchain systems; verification of machine learning algorithms and systems; application of machine learning techniques to program verification; verification of quantum computing algorithms; program synthesis and repair; application of formal verification and testing techniques to problems in cybersecurity.

The position is for six years with tenure track: within this period, the Assistant Professor, will be promoted to Associate Professor (with tenure), upon fulfilling the relevant criteria. The department will provide a start-up package including resources to appoint a Ph.D. student.

Please consult the full announcement: https://uu.se/en/about-uu/join-us/details/?positionId=476728

For further information, consult the full announcement, or contact David Black-Schaffer ([email protected] ) or Bengt Jonsson ([email protected] ).