RF in Categorical Foundations of Probabilistic Computation

About us

• Develop mathematical foundations and study theoretical properties
• Apply knowledge in a way which develops new intellectual understanding
• Conduct own and original research
• Disseminate research findings for publication, research seminars etc
• Supervise students on research related work and provide guidance to PhD and MSc students where appropriate to the discipline
• Contribute to developing new models, techniques and methods
• Undertake management and administration arising from research

About the role

The appointment is in connection with the Research Project “Axiomatic Theories of String Diagrams for Categories of Probabilistic Processes” led by Prof. Fabio Zanasi at University College London. The aim of the project is to develop sound and complete axiomatisations for categories of probabilistic processes (Markov categories), based on the graphical language of string diagrams. These calculi will then be employed to develop compositional methods for a wide range of probabilistic graphical models (including Bayesian networks, Markov random fields, Credal networks) and Bayesian inference tasks.

The research fellow will conduct research within the Programming Languages, Logic and Verification (PPLV) group at UCL. They will be given the opportunity to join a vibrant research environment with a mix of senior and early career researchers active in the areas of logic, algebra, and categorical methods in computer science. There are ample opportunities for collaborations. The post includes funding for travelling for research activities, workshops, and conferences.

Key skills for the role are a PhD in Computer Science or Mathematics, and previous research experience in at least two among: category theory, probabilistic programming, (Bayesian) probabilistic graphical models.

About you

If you have any queries regarding the vacancy or the application process, please contact Fabio Zanasi, .

What we offer

As well as the exciting opportunities this role presents, we also offer some great benefits some of which are below:

• 41 Days holiday (27 days annual leave 8 bank holiday and 6 closure days)
• Additional 5 days’ annual leave purchase scheme
• Defined benefit career average revalued earnings pension scheme (CARE) • Cycle to work scheme and season ticket loan
• Immigration loan
• Relocation scheme for certain posts
• On-Site nursery
• On-site gym
• Enhanced maternity, paternity and adoption pay
• Employee assistance programme: Staff Support Service
• Discounted medical insurance Visit https://www.ucl.ac.uk/work-at-ucl/reward-and-benefits to find out more.

Grade 7 - £42,099 - £44,347 (inclusive of London Allowance)

Our commitment to Equality, Diversity and Inclusion

As London’s Global University, we know diversity fosters creativity and innovation, and we want our community to represent the diversity of the world’s talent. We are committed to equality of opportunity, to being fair and inclusive, and to being a place where we all belong. We therefore particularly encourage applications from candidates who are likely to be underrepresented in UCL’s workforce. These include people from Black, Asian and ethnic minority backgrounds; disabled people; LGBTQI+ people; and for our Grade 9 and 10 roles, women. You can read more about our commitment to Equality, Diversity and Inclusion here: https://www.ucl.ac.uk/equality-diversity-inclusion/. Our department holds an Athena SWAN Gold award, in recognition of our commitment and demonstrable impact in advancing gender equality. This appointment is subject to UCL Terms and Conditions of Service for Research and Support Staff.”

Advert information