Embed Notice

You can now get a paid internship in applied category theory, logic, programming languages, or science, technology, and society during the summer of 2025 at the Topos Institute! This is a great opportunity - my student Brendan Fong started this institute and it's full of cool people. I work with a bunch of them.

• The application deadline is January 17, 2025.
• The position is paid and in-person in Berkeley, California.
• The Topos Institute cannot sponsor visas at this time.

These positions will last for 8 – 10 weeks, starting in June 2025 and ending in August. Each position will be mentored by Topos research staff or a select number of invited mentors. Each Summer Research Associate will complete a specific Topos project, and will write a blog post by the last week of their employment. These projects may include an internal talk, work on a book, or publication. You can visit https://topos.site/summer/ to see what previous people have done.

Specific topics for 2025 include, but are not limited to:

● Computational category theory using CatColab (Rust/Typescript skills recommended)
● Double category theory
● Categorical statistics
● Polynomial functors
● Interacting dynamical systems
● Hybrid dynamical systems, attractor theory and fast-slow dynamics
● Proof assistants and structure editors
● Program synthesis and spec generation
● Computational logical expressivism
● Philosophical and ethical aspects of applied category theory

Details and instructions on how to apply are here:

https://topos.site/summer/assets/summer-2025.pdf

https://johncarlosbaez.wordpress.com/2024/11/08/topos-institute-summer-research-positions/