[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all, 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 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. https://urldefense.com/v3/__https://www.cam.ac.uk/jobs/research-associatesenior-research-associate-category-theory-and-machine-learning-fixed-term-nr46937__;!!IBzWLUs!QO2wsw20nHoSEiYI_-fhBbLPBXuG_OIIgZF12zKo-j_JIJ7ozZALgq_SAOBAgfgJYfSxnEPkPjZl-IW-nowKINF-SoHnSVTU1Ho$ Best wishes, Jamie