Logic List Mailing Archive

Postdoctoral position (2y) in category theory, Sydney (Australia)

Dear 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?. One part of the project
involves homotopy type theory, and so may be of interest to readers of
this list.

Further information is available here

http://jobs.mq.edu.au/cw/en/job/505375/postdoctoral-research-fellow-in-category-theory

or feel free to get in touch with me for further details.

Regards,

Richard Garner
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam