Researcher in Informatics - Formalization of Algorithms in Proof Assistants

Updated: almost 2 years ago
Job Type: FullTime
Deadline: 30 Jun 2022

There is a vacancy for a position as researcher in Informatics – Formalization of Algorithms in Proof Assistants at the Department of Informatics.

The position is for a period 2 years and is connected to the project «Symboalgo», financed by the Norwegian Research Council.

About the Department

Digitization of businesses, industry, public administration, and education makes informatics play an increasingly important role in the development of the society. Research and education in informatics are crucial for the digital transformation of the society to succeed. The Department of Informatics contributes to this through seven research groups that deliver research and education at a high international level in algorithms, bioinformatics, information security, machine learning, optimization, programming theory and visualization. We are also building up a group in computer science didactics. The department offers education for the future at Bachelor, Master and PhD levels. The department is in rapid growth regarding its number of students, research directions, and employees. We have today about 900 students, and 150 employees, among which 37 are faculty and 70 PhD candidates. We have established the Center for Data Science (CEDAS) as an important extension of our research and education activities.



Similar Positions