Summer Research at the Topos Institute

You can now apply for the 2025 Summer Research Associate program at the Topos Institute! This is a really good opportunity.

Details and instructions on how to apply are in the official announcement.

A few important points:

• 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 the accomplishments of the previous cohorts.

Projects range from applied category theory to logic, programming languages, and science, technology, and society. 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