Postdoc, compilation of cubical type theory
4 views
Skip to first unread message
Nils Anders Danielsson
Apr 2, 2026, 10:56:12 AM (3 days ago) Apr 2
to homotopyt...@googlegroups.com
Hi,
The University of Gothenburg is looking to hire a postdoc for work on
compilation of cubical type theory:
https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=40092
Application deadline: May 17.
--
/NAD
The University of Gothenburg is looking to hire a postdoc for work on
compilation of cubical type theory:
https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=40092
Application deadline: May 17.
--
/NAD
Reply all
Reply to author
Forward
0 new messages