The University of Gothenburg is inviting applications for a full-time researcher position focused on dependent type theory, extended with univalence, and its applications in synthetic mathematics. This role is situated within the Logic and Types research group in the Division for Computing Science.