Researcher in Univalent Type Theory: The University of Gothenburg invites applications for a full-time researcher position in the Logic and Types research group at the Department of Computer Science and Engineering. The successful candidate will contribute to high-quality research in homotopy type theory and synthetic algebraic geometry, with formalisations in (cubical) Agda.
Researcher in Formalisation of Constructive Univalent Type Theory
Designation: Researcher
Research Area: Formalisation of Constructive Univalent Type Theory
Location: University of Gothenburg, Department of Computer Science and Engineering, Division of Computing Science, Logic and Types Unit
Eligibility/Qualification:
- Doctoral degree in a relevant area such as computer science or mathematics, or a foreign degree equivalent to a doctoral degree.
- Strong background with an excellent publication record.
- Good knowledge of homotopy type theory.
- Proficiency in formalisation in (cubical) Agda.
- Understanding of synthetic algebraic geometry.
- Fluent verbal and written communication skills in English.
- Ability to work independently and as part of a team.
Job Description:
- Conduct high-quality research and publish in leading international venues.
- Work independently and collaboratively on research related to the project goals.
- Communicate research results verbally and in writing.
- Perform teaching activities including supervision of Bachelor’s and Master’s thesis projects for up to 20% of the time.
- Possible co-supervision of PhD students.
Employment Details:
- Type of employment: Temporary position for 360 days
- Extent: 100% full time
- Location: Department of Computer Science and Engineering, Division of Computing Science, Logic and Types Unit
- Start date: 2024-10-01 or as soon as possible thereafter
Selection Process:
- Evaluation based on research skills in the relevant field.
- Emphasis on publication record and knowledge of homotopy type theory.
- Ability to work independently and as part of a team, and take initiatives.
- Proficiency in English is mandatory.
Contact Information:
- Project inquiries: Thierry Coquand (thierry.coquand@cse.gu.se)
- Position inquiries: Aarne Ranta (aarne.ranta@cse.gu.se)
- Recruitment process inquiries: HR-partner Robin Garnham (robin.garnham@chalmers.se)
Union Representatives: Union representatives at the University of Gothenburg can be found here.
How to Apply: Create an account in the University of Gothenburg’s recruitment system and submit your application via the recruitment portal by clicking the “Apply” button. Ensure your application is complete as per the vacancy notice and submit it by the deadline.
Application Requirements:
- CV with a complete list of publications
- Documentation of previous teaching and pedagogical experiences
- Contact details for two references
- Personal letter (1-3 pages) including:
- Introduction
- Description of previous research fields and main research results
- Future goals and research focus
- Attested copies of completed education, grades, and other certificates
Last Date to Apply: 2024-05-28
