Postdoctoral position in logical methods and machine learning (2 years)

[Jamie Vicary]

Hi,

I'm writing to announce a 2-year postdoctoral position currently being advertised to work with my group at the University of Cambridge. The project is on logical methods (broadly considered to include type theory, category theory and other topics), and machine learning. The ideal candidate will have good experience in at least one of these fields, and will be motivated to work in a cross-disciplinary team to extend their knowledge in both areas.

Please pass this on to anyone who might be interested to apply. I'm happy to answer any questions.

The research is not specifically focused on homotopy theory or higher structures, but we are a higher-category-friendly research group, so there's certainly scope for these sort of ideas to be brought in.

https://www.cam.ac.uk/jobs/research-associatesenior-research-associate-category-theory-and-machine-learning-fixed-term-nr46937

Best wishes,

Jamie