[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear All,
We are announcing *three* 1-year (360 days) *researcher positions in
type theory for mathematics and computer science*.
The project investigates dependent type theory extended with univalence,
with applications to synthetic mathematics. Prominent examples of
synthetic mathematics include synthetic algebraic geometry and synthetic
Stone duality, though the project may also encompass other areas, such
as the study of higher categories. In addition, the project explores the
metatheory of dependent types, with the aim of designing and improving
proof assistants.
Visit this link for more information about the position and how to apply
<https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=39914__;!!IBzWLUs!WJRxddMHwEUgC743H6rVFs6IJ-jZnQ-t3J1AMzIiSMGzJawTgIYuCEJGHyXbVv4G_HOvmecGsNgv-5K_2ykILUrzb9Je7Q$ >.
Deadline for application: *April 13th 2026.*
Please distribute the information to anyone you know might be
interested/a good candidate.
Do not hesitate to contact us if you have any questions around the
positions.
Best regards
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!WJRxddMHwEUgC743H6rVFs6IJ-jZnQ-t3J1AMzIiSMGzJawTgIYuCEJGHyXbVv4G_HOvmecGsNgv-5K_2ykILUoFsJ1g1w$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
