Jesper Agdakx 🔸The University of Gothenburg is looking to hire a postdoc for work on<br>compilation of cubical type theory:<br><br> <a href="https://web103.reachmee.com/ext/I005/1035/job?site=7&amp;lang=UK&amp;validator=9b89bead79bb7258ad55c8d75228e5b7&amp;job_id=37550" rel="nofollow noopener" target="_blank">web103.reachmee.com/ext/I005/1035/job?site=7&amp;lang=UK&amp;validator=9b89bead79bb7258ad55c8d75228e5b7&amp;job_id=37550</a><br><br>Application deadline: June 12.<br><br><a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/cubical" rel="nofollow noopener" target="_blank">#Cubical</a> <a class="hashtag" href="https://agda.club/tag/hott" rel="nofollow noopener" target="_blank">#HoTT</a> <a class="hashtag" href="https://agda.club/tag/agda" rel="nofollow noopener" target="_blank">#Agda</a> <a class="hashtag" href="https://agda.club/tag/postdoc" rel="nofollow noopener" target="_blank">#PostDoc</a> <a class="hashtag" href="https://agda.club/tag/gothenburg" rel="nofollow noopener" target="_blank">#Gothenburg</a>