Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
Berkeley, CA | Oxford, UK
Joined January 2021
- Tweets191
- Following23
- Followers3.2K
- Likes5
Topos is hiring: 2-year postdoc position in Oxford, UK, to work on mathematics and software around declarative modelling in the context of ecology.
For more information, have a look at the blog post announcement: topos.institute/blog/2026-10…
Topos Institute is looking for a Postdoctoral Researcher to be based in Berkeley, California
topos.institute/community/
Call for Applications: 2026 Summer RAs
This year there are two tracks for Summer RAs: a research track and an engineering track. Positions are available for 8-10 weeks each, starting in June and ending in August.
For more details, see our website: topos.institute/community/jo…
Two new jobs open at Topos Oxford:
- Director of UK Operations (topos.institute/community/jo…)
- Postdoc in compositional conceptual modelling (topos.institute/community/jo…)
If you're interested in applying, or know somebody who might be, then please do share!
We’re excited to welcome B. Scot Rousse, a philosopher of technology, to Topos! Drawing on Heidegger and Merleau-Ponty, he’ll be joining our work on collective sense-making and AI. He also recently spoke at our colloquium on Language, Technology, and Care.
Check out our latest blog post by Hamidah Oderinwale (@didaoh) on the libraries of the future. She tackles key issues like version control, preserving procedural knowledge, and ensuring reproducibility in research. How can we rethink documenting discovery?
Thank you to @eric_is_weird for profiling Topos in FreakTakes! Brendan discusses our collaborative modeling mission, highlights projects like CatColab and safeguarded AI research with @ARIA_research, and announces an exciting operations role in Oxford.
buff.ly/43h9WMI
We're building CatColab—software for collaborative formal modeling—leveraging Double Categorical Systems Theory (DCST) to co-design explainable, auditable AI systems.
Check out the interview here: buff.ly/3QEHg9a
Learn more about our work on our website: buff.ly/3Vt8dPG
Every Thursday, we organize virtual colloquiums where we invite speakers to share their work. This week we hosted Andrew Dudzik, a research scientist @GoogleDeepMind, who discussed his research on Tensor Species, a category theory-based approach to designing neural networks.
🎉 Announcing CatColab 0.2: Wren!
CatColab is a structured model editor for visualizing complex systems with domain-specific logics.
Since October, we've implemented:
- Users & permissions
- Enhanced docs
- New theories (e.g. Discrete exterior calculus)
- and more!
Topos Institute retweeted
We’re excited to announce the first set of R&D Creators for our Safeguarded AI programme, working on TA1.1.
This group comprises 22 teams, spanning universities, startups and research organisations across the UK and abroad.
But what exactly will they be working on? ↓ (1/4)
If you're looking for a weekend read, consider checking out recent work on the Topos site from 2024 Summer RA, C.B. Aberlé, on polynomial universes and natural models.
We have finally combined our two websites into a single website: everything is now at topos.institute , but every link to a page on topos.site should now automatically 301 redirect to the corresponding page on topos.institute!