<div dir="ltr">Hi all,<br><br>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.<br><br>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.<br><br>We’re hiring for two work projects: in the first, 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.<br><br>In the second, 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. <br><br>Please reach out to me with any inquiries or questions, and for more info, follow this link: <br><br><a href="https://urldefense.com/v3/__https://topos.site/blog/2024-08-30-postdoc-job-openings-in-topos-oxford/__;!!IBzWLUs!VKX7Ydi3RhQl9Xjp9uI8I0V08LhrmSzytKyN5flaBLQer8uYOvdesYX1jjkv55VLTmPCPEqwQtSgAeEm-0jYJp4vATpbnZ7VvafkUA$">https://topos.site/blog/2024-08-30-postdoc-job-openings-in-topos-oxford/</a><br><br>Cheers,<br>David Jaz</div>