Topos Institute

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/jobs…

Two new jobs open at Topos Oxford: - Director of UK Operations (topos.institute/community/jobs…) - Postdoc in compositional conceptual modelling (topos.institute/community/jobs…) If you're interested in applying, or know somebody who might be, then please do share!

Check out B’s work here: without-why.ghost.io

Watch the talk: youtube.com/live/9iO0nEVzW…

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.

@didaoh topos.institute/blog/2025-02-2…

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?

@eric_is_weird @ARIA_research Check out the interview here: buff.ly/3QEHg9a Learn more about our work on our website: buff.ly/3Vt8dPG

@eric_is_weird @ARIA_research We're building CatColab—software for collaborative formal modeling—leveraging Double Categorical Systems Theory (DCST) to co-design explainable, auditable AI systems.

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

@GoogleDeepMind Watch the livestream here: buff.ly/3EQQ9tB

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.

Learn more and try it out here! buff.ly/41flfUB

🎉 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!

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)

3/5 @kaseyklimes @juanpcadile

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!

Three new blog posts in the last few months: a retrospective on a Topos/Oxford computer science meeting, a summary of the Poly@Work 2024 workshop, and an explanation of the mathematics behind UMAP. Check them all out at topos.site/blog/