Postdoc at Macquarie
Posted by Tom Leinster
Posted on behalf of my friends in Sydney
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, or feel free to get in touch with Richard Garner (richard.garner@mq.edu.au) or Steve Lack (steve.lack@mq.edu.au).
Posted at March 11, 2019 2:12 AM UTC
Re: Postdoc at Macquarie