Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: positions

Topic: Join Huawei's Lagrange Center in Paris

Anthony Bordg (Jun 23 2024 at 17:41):

Join the Lagrange Mathematics & Computing Research Center of Huawei in Paris!

Are you passionate about mathematics and computing? The Lagrange Mathematics & Computing Research Center (LMCRC) in Paris invites applications for an exciting position focused on the formalization of Grothendieck topos theory in Lean. You will collaborate with Laurent Lafforgue and myself.

Position Details:

• Role: Research Engineer
• Duration: Up to 18 months (flexible)
• Starting date: As soon as possible (flexible)

Areas of Interest:

• Grothendieck Topos Theory
• Formalization/Interactive Theorem Proving, previous experience with proof assistants, especially Lean, is advantageous.

Why Join Us?

• Work alongside researchers in an international, collaborative and intellectually stimulating environment.
• Contribute to groundbreaking research at the intersection of mathematics and computation.

Application Process:
Please email anthony.bordg@huawei.com with:

• A brief statement of your motivation.
• Some details about your background wrt the aforementioned areas of interest.
• Attach your résumé if you have one.