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.
Description
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.
Nr of positions available : 1
Research Fields
Mathematics - Mathematical logic
Mathematics
Computer science
Career Stage
Experienced researcher or 4-10 yrs (Post-Doc)
Research Profiles
Recognised Researcher (R2)
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
Comment/web site for additional job details
Requirements
| ENGLISH |
| Excellent |
| Computer science |
| Mathematics |
| PhD or equivalent |
| PhD or equivalent |