[TYPES/announce] Two post-doc positions at Topos Research UK

[David Jaz Myers]

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 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.

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.

Please reach out to me with any inquiries or questions, and for more info,
follow this link:

https://urldefense.com/v3/__https://topos.site/blog/2024-08-30-postdoc-job-openings-in-topos-oxford/__;!!IBzWLUs!VKX7Ydi3RhQl9Xjp9uI8I0V08LhrmSzytKyN5flaBLQer8uYOvdesYX1jjkv55VLTmPCPEqwQtSgAeEm-0jYJp4vATpbnZ7VvafkUA$ 

Cheers,
David Jaz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240902/ae84bc99/attachment.htm>