Two post-doc positions at Topos Research UK

Two post-doc positions at Topos Research UK

[David Jaz Myers]

[-- Attachment #1: Type: text/plain, Size: 2128 bytes --]

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 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/<https://url.au.m.mimecastprotect.com/s/JB1WCK1DOrC2qjpJnsMf0C5wcVz?domain=topos.site/>


Cheers,

David Jaz



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 7694 bytes --]