Postdoctoral Fellow in Category Theory
Join a dynamic research group to advance category theory applications in mathematics and computer science under an AFOSR grant.
Best for:Best for postdoctoral researchers with a PhD in mathematics, computer science, or related fields and expertise in category theory, seeking to advance interdisciplinary research in theoretical and applied mathematics.
Overview
This postdoctoral position at Macquarie University focuses on cutting-edge research in category theory, bridging mathematics and computer science. The successful candidate will collaborate with Dr. Jean-Simon Pacaud Lemay’s team, contributing to projects in differential categories, tangent categories, and their applications in differential geometry, algebraic geometry, machine learning, and linear logic. The role offers a flexible start date in 2027 with a two-year fixed-term appointment, providing an opportunity to work on interdisciplinary problems at the forefront of theoretical and applied research. The position is ideal for postdoctoral researchers with a strong background in category theory and a passion for exploring its diverse applications.
What you'll do
- Conduct advanced research in category theory, focusing on differential and tangent categories and their applications in mathematics and computer science.
- Collaborate with Dr. Jean-Simon Pacaud Lemay and the research group to develop theoretical frameworks and applied models.
- Publish research findings in high-impact academic journals and present results at international conferences.
- Contribute to the development of new methodologies in differential geometry, algebraic geometry, and related fields.
- Engage in interdisciplinary projects that bridge theoretical mathematics and computational applications, such as machine learning and formal logic.
- Participate in grant-funded research activities and contribute to the broader academic community through peer-reviewed publications and conference presentations.
Requirements
Degree required: PhD in mathematics, computer science, or a related field (or completion expected shortly)
Language: English; proficiency sufficient for academic research and publication
Instruction: English
- Proven research experience in category theory or related areas
- Strong theoretical background in mathematics or computer science
- Ability to work independently and collaboratively in a research-intensive environment
- Excellent written and verbal communication skills for academic publishing and presentations
- Applicant must have completed or be close to completing a PhD in mathematics, computer science, or a related field
- No specific nationality restrictions; international candidates are welcome
Funding & terms
How to apply
Deadline: 2026-10-16 (Australia/Sydney)
Applicants must submit a cover letter (including two references and expected PhD completion date if applicable), a resume, and a 3-page research proposal (excluding references) through the online application portal.
- Cover letter (including names of two references and expected PhD completion date if applicable)
- Resume
- Research proposal (maximum 3 pages, excluding references)
Contact
Jean-Simon Pacaud Lemay· Senior Lecturer
Create a free profile to unlock your personal match score, the full requirements, funding details and how to apply — in English or Persian.