[TYPES/announce] 3 researcher positions in type theory for mathematics and computer science

[Ana Bove]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260313/402940d8/attachment-0001.htm>