[TYPES/announce] Postdoc in Type theory and programming languages

[Ana Bove]

Dear All,

We are announcing a 2-years post-doc in *Type theory and programming 
languages*.

The project is about compilation of cubical type theory: the 
construction of a compiler that translates from cubical type theory to 
(hopefully reasonably efficient) executable code. This includes proving 
that the compiler is correct. Ideally the compiler should also support 
erasure: removal of computationally irrelevant pieces of code.

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=40092__;!!IBzWLUs!U7OssyWf8ZPXAEdpOPZcPle4hxjvEmJ_En-ukZimYZbbdfUtnPYhTX4vtGqWQwwLX0G71n9KK4__YQbS0rTDuQeMEz4j6A$ >.

Deadline for application: *May 17th 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!U7OssyWf8ZPXAEdpOPZcPle4hxjvEmJ_En-ukZimYZbbdfUtnPYhTX4vtGqWQwwLX0G71n9KK4__YQbS0rTDuQdeJBAw5w$ 
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/20260420/53b136e8/attachment-0001.htm>