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

[Jamie Vicary <jamievicary@gmail.com>]

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

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

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CANr23v0c%3D8O_NtDmHV70qPrTYyexgsyqH4L%3DFoZAE%2BpMs5ABtQ%40mail.gmail.com.

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