University of Gothenburg is hiring:
https://tenuretracker.info/l/Kx7GYYxi
#postdoc
---
Job ID: PAR 2026/220
Extract: The position involves conducting research on the compilation of cubical type theory, including developing a compiler and ensuring its correctness. The role may include teaching responsibilities.