1 Postdoctoral Fellow position at the Department of Informatics or at the Department of Mathematics in Norway | University of Bergen

There is a vacancy for a postdoctoral fellow position at the Department of Informatics or at the Department of Mathematics in the interdisciplinary field between computer science, mathematics and logic. The position is for a period of 2 years and is within the project “Computational Aspects of Univalence”, funded by the Research council of Norway. The placement in one of the two institutes mentioned will be decided on the basis of the background of the candidate.

The project is a collaboration between the Department of Informatics and the Department of Mathematics. In this project we study the computational aspects of the Univalence Axiom (UA) and the role of univalence in K-theory. UA is a new axiom in type theory, recently proposed by Voevodsky. Type theory is a logical formalism originally developed as a foundation of mathematics, and at the same time useful for the mechanical verification of mathematical proofs.

Benefits

• a good and professionally challenging working environment.
• salary at pay grade 57 (Code 1352) upon appointment. Further increases are made according to length of service in the position.
• enrolment in the Norwegian Public Service Pension Fund
• a position in an inclusive workplace (IA enterprise)
• good welfare benefits