[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear All,
The Department of Computer Science and Engineering, a join department
between University of Gothenburg and Chalmers University of Technology,
has now 2 open positions in the Logic and Types research group to work
with Thierry Coquand and his group:
* a *2 years postdoc position* on the study of dependent type theory
extended with univalence and higher inductive types. It can range from
theoretical studies of models to actual formalisations of mathematics in
a proof system (such as Agda), or working on design of proof assistants
incorporating the advances brought by the connections with homotopy theory.
https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37950__;!!IBzWLUs!RimXPaFutDtalAoYmmglhVb-1xMa2fBlFsM2b6oRpVPzuuLfX-0StwrgIbpC1kKzZ8aZ4fLicH2hhCC0XUv2ti4AZHEO6g$
* a *360 days research position* on the study of dependent type theory
extended with univalence with applications to synthetic mathematics, for
instance synthetic study of condensed sets.
https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37958__;!!IBzWLUs!RimXPaFutDtalAoYmmglhVb-1xMa2fBlFsM2b6oRpVPzuuLfX-0StwrgIbpC1kKzZ8aZ4fLicH2hhCC0XUv2ti5uGDqoPg$
*Applications must be received by: *2025-08-11 in each of these positions.
Please do not hesitate to contact us if you have any questions regarding
any of these 2 positions.
Best regards
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!RimXPaFutDtalAoYmmglhVb-1xMa2fBlFsM2b6oRpVPzuuLfX-0StwrgIbpC1kKzZ8aZ4fLicH2hhCC0XUv2ti7Dt2JGCQ$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
