Postdoc, compilation of cubical type theory
27 views
Skip to first unread message
Nils Anders Danielsson
May 22, 2025, 10:55:36 AMMay 22
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=37550
Application deadline: June 12.
--
/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=37550
Application deadline: June 12.
--
/NAD
Reply all
Reply to author
Forward
0 new messages