You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Sep 29 2025 at 21:26):There are two new positions at Topos UK in Oxford:
Let me copy some of the second job description, since that one is more interesting to category theorists:
Our ideal candidate either:
- has a background in algebraic systems theory or model/system validation with some knowledge of category theory and an eagerness to learn double categorical systems theory; or
- has a background in 2-category theory or categorical logic and an eagerness to work on systems modelling and validation.
You should have (or soon be obtaining) a PhD or equivalent in, or have made significant contributions to, one of the areas of algebraic systems theory, system validation, model validation, 2-category theory, or categorical logic.
There is evidence to suggest that women and people of color are less likely to apply for jobs unless they believe they meet every one of the qualifications as described in the job description. If this role speaks to you, we encourage you to apply, even if you don’t believe you tick all the boxes.
Eligibility criteria
Topos will consider sponsoring a UK visa for a successful applicant. Please include details of your visa requirements (if any) in your application (e.g. in your cover letter).
All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, or disability.
Us and you
We are dedicated to shaping the future of technology to ensure a more equitable and just world, and we believe that a technology that supports a healthy society can only be built by an organisation that supports its team members. As such, Topos is committed to ensuring that we clearly and compassionately negotiate your role and responsibilities while you’re at Topos, and then ensuring that you have the support that you need to fulfill that role.
Topos UK offers benefits including private health and dental insurance, 30 days paid holiday (plus public holidays), and a variable pension plan.
For more details go here: https://topos.institute/community/jobs/uk-2025-ccmp/