Researcher in Type Theory for Mathematics and Computer Science
Workplace: Göteborg, Sverige
Expires: August 11, 2025
The University of Gothenburg seeks a researcher in dependent type theory extended with univalence, with applications in synthetic mathematics, such as the synthetic study of "condensed" sets. The position involves high-quality research, publishing results internationally, as well as participation in teaching and supervision at the Department of Computer and Information Science.
Main requirements:
- PhD degree in a relevant field such as computer science or mathematics or an equivalent foreign degree
- Strong research background with excellent publication record in dependent type theory and univalence
- Good knowledge of theoretical models within type theory
- Relevant knowledge in homotopy theory
- Experience in formalization of mathematics, e.g., using Lean or (cubical) Agda
- Ability to work independently and in teams
- Good initiative and precision in research tasks
- Proficiency in English, both written and oral
- Experience in supervising doctoral and master students and teaching advanced courses is meritorious
Responsibilities:
- Conduct high-quality research and publish results in leading international journals and conferences
- Participate in teaching at the department, including supervision of bachelor and master theses (up to 20% of working time)
- Possibly co-supervise doctoral students
- Communicate results orally and in writing
Required hard skills:
- PhD in relevant subject
- Expertise in dependent type theory and univalence
- Knowledge of theoretical type theory models
- Experience with formalization tools such as Lean and (cubical) Agda
- Publication in international journals and conferences
Recommended hard skills:
- Knowledge of homotopy theory
- Experience in supervising students and teaching advanced courses
Soft skills:
- Ability to work independently
- Teamwork and collaboration skills
- Initiative and proactiveness
- Precision and attention to detail
- Strong communication skills
Coding languages:
- Lean
- Agda
Frameworks:
- Cubical Agda
Natural languages:
- English (Proficient)
- Swedish (Basic familiarity)
Cultural skills:
- Ability to work in an international and multidisciplinary academic environment
- Collaboration skills across institutions
Apply for this job
You might also like:
- Senior System Developer for Craftsmanship in Sensor Systems
- Functional Solution Architect - Production
- Senior Frontend Developer
- Test Engineer
- Frontend Developer at Disruptive Novotech
- Project Manager Digital Development and Innovation
- Project Manager at Stainless Design Sweden AB
- Technical Developer for the IT Unit
- NOC Operator
- IT Technician with expertise in Operations and Network