[TYPES/announce] one postdoc and one researcher position at University of Gothenburg

[Ana Bove]

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