Dear all, The Department of Mathematics of the University of Manchester is advertising a postdoctoral research fellowship to work on the EPSRC-funded project "Monoidal bicategories, linear logic and operads" with me (University of Manchester) and Marcelo Fiore (University of Cambridge). The deadline for applications is 23rd January 2023. For further information, please see the web page: https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=24337 With best regards, Nicola Dr Nicola Gambino Reader in Pure Mathematics Department of Mathematics, University of Manchester -- 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 on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/5854D71A-747E-4238-9DE4-D8AFF90A68D6%40manchester.ac.uk.