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.
David Jaz Myers (Sep 02 2024 at 18:22):Hi all,
The Topos Institute is starting a UK branch in Oxford and we’re opening up two post-doc positions starting Oct 1, 2024. Topos is looking to grow our UK team, so while this position is currently funded by a 1-year project, selected candidates may have the opportunity for extension or even to transition into a permanent role.
We’re looking for candidates with PhDs in category theory, type theory, algebraic systems theory, or related areas in mathematics and computer science who are interested in applying their knowledge to practical problems of scientific modelling. We’ll be working on compositional scientific modelling, model validation, and structure-aware version control.
We’re hiring for two work projects: in the first, we’ll be developing double categorical systems theory, using monoidal double categories to organise the composition of systems and using monoidal double categories of spans or relations to organise the logic of system validation.
In the second, we’ll be researching structure-aware version control (using type theory / logical relations and categorical patch theory) for the purpose of version controlling and incrementally updating scientific models.
Please reach out to me at davidjaz@topos.institute with any inquiries or questions, and for more info, follow this link:
https://topos.site/blog/2024-08-30-postdoc-job-openings-in-topos-oxford/
Cheers,
David Jaz