Researcher in Type Theory: The University of Gothenburg is inviting applications for a full-time researcher position focused on dependent type theory, extended with univalence, and its applications in synthetic mathematics. This role is situated within the Logic and Types research group in the Division for Computing Science.
Researcher in Type Theory for Mathematics and Computer Science
Designation:
Researcher
Research Area:
- Dependent type theory
- Univalence
- Synthetic algebraic geometry
- Synthetic Stone duality
- Higher categories
Location:
Department of Computer Science and Engineering, University of Gothenburg
Eligibility/Qualification:
- A doctoral degree in a relevant area (such as computer science or mathematics) or a foreign degree deemed equivalent to a doctoral degree.
- Strong background and excellent publication record in the relevant research field.
- Experience with dependent type theory and univalence.
- Knowledge of theory models of type theory is required.
- Basic knowledge of homotopy theory and experience in formalization of mathematics (e.g., Lean, (cubical) Agda) is preferable.
- Ability to work both independently and collaboratively.
Job Description:
- Conduct high-quality research and publish findings in leading international venues.
- Engage in teaching activities, including supervision of Bachelor’s and Master’s thesis projects (up to 20% of workload).
- Opportunities for co-supervision of PhD students.
- Communicate research results effectively, both verbally and in writing.
How to Apply:
To apply, create an account in the University of Gothenburg’s recruitment system and submit your application through the recruitment portal. The application must include a CV, a personal letter, and other relevant documents.
Documents Required:
- CV: Include a complete list of publications, teaching experience, and contact information for two references.
- Personal Letter: 1-3 pages addressing your background, research achievements, and future goals.
- Other Documents: Attested copies of education, grades, and certificates.
Last Date for Apply:
Applications must be received by October 30, 2025.
