Stream: Announcements

Topic: Job Ad: Join Huawei in Paris or London

Anthony Bordg (Jun 30 2024 at 09:18):

Are you passionate about mathematics and computing?
We invite applications for up to 3 positions, one of them at the Lagrange Mathematics & Computing Research Center (LMCRC) in Paris and the other ones in London.
In each case, the position will focus on the formalization of Grothendieck topos theory in Lean and you will collaborate with Laurent Lafforgue and myself, as well as with our internal and external collaborators, e.g. at the Istituto Grothendieck led by Olivia Caramello.

Position Details:

• Role: Research Engineer
• Duration: fixed-term (flexible)
• Starting date: flexible

Areas of Interest:

• Formalization/Interactive Theorem Proving, previous experience with a proof assistant is advantageous.
• Grothendieck Topos Theory

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[dot]bordg[at]huawei[dot]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.

Last updated: Dec 22 2024 at 12:33 UTC