Postdoctoral Researcher

Core responsibilities:

• Research in the area of type theory
• Writing papers on this research and developing prototypes
• Collaboration with other mathematicians working in categorical systems theory, model checking, and categorical logic

This role contributes to developing new tools for collective inquiry and modelling that help society better cooperate on critical issues like the climate crisis, pandemic responses, and global access to education through interconnected systems that consider holistic impacts.

Required qualifications:

• Background in type theory with experience developing novel type theories and writing prototype implementations
• PhD in type theory or the theory of programming languages (or soon to obtain), or significant contributions to type theory, programming language theory, or computing science

Benefits include:

• Salary: £47,665–52,430
• Private health and dental insurance
• 30 days paid holiday plus public holidays
• Variable pension plan
• Potential for promotion into permanent staff scientist role after 2 years
• Supportive work culture with clear role negotiation and support

Topos Institute is a non-profit research institute dedicated to realizing a world where systems benefit everyone, enabling society to better cooperate on critical issues through interconnected systems that consider holistic impacts. They develop new tools for collective inquiry and modelling using novel foundational mathematics, open-source software engineering, and collaboration with domain specialists.