Logic List Mailing Archive

CfA: Postdoctoral position on work on the project "Categorical Foundations of Forward Differentiation and Reverse Differentiation" at Macquarie University, Sydney (Australia), deadline: 17 March

Dear all,

We are currently advertising a 3-year postdoc in the Centre of Australian Category Theory at Macquarie University, to work on the project "Categorical Foundations of Forward Differentiation and Reverse Differentiation", held by JS Lemay under funding provided by the US Air Force OSR.

Ours is a large and active group; besides JS and myself, we have Steve Lack and Bregje Pauwels on staff, and Ross Street, John Power and Dominic Verity as active emeriti. Sydney is also a very nice place to spend three years!

Applications from candidates with expertise in the areas of (reverse) differential categories, tangent categories, Differential Linear Logic and the differential lambda-calculus, or foundations of machine learning/automatic differentiation are particularly encouraged. The position also comes with funding for research related travel and activities.

The expected start date is July 2024, or later by other arrangement.

For more details and instructions on how to apply, see the application link below. For questions, feel free to reach out to JS
(js.lemay@mq.edu.au) or myself (richard.garner@mq.edu.au).

Application link: 
https://mq.wd3.myworkdayjobs.com/CareersatMQ/job/Wallumattagal-Campus-North-Ryde/Postdoctoral-Research-Fellow-or-Research-Fellow-in-Category-Theory_R000014687-1

Application deadline: March 17, 11:59PM AEDT (UTC +11)

All the best,

Richard

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php