job at Macquarie

Greetings all, The Centre of Australian Category Theory at Macquarie University is advertising a 2-year postdoc in relation to a project entitled Working synthetically in higher categorical structures. It would be particularly suitable for people who work in higher categories, 2-categories, or homotopy type theory. Further information is available here http://jobs.mq.edu.au/cw/en/job/505375/postdoctoral-research-fellow-in-categ... or feel free to get in touch with Richard Garner, Ross Street, Dominic Verity, or me. Regards, Steve Lack. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]