Join Huawei in Paris or London

Stream: job postings

[Anthony Bordg]

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.

---

[Luigi Massacci]

I think the link might be broken

[Anthony Bordg]

Luigi Massacci said:

I think the link might be broken

Fixed. Thank you.

[Patrick Massot]

I think it would be more honest to more visibly include the word Huawei in that job announcement.

[Anthony Bordg]

Patrick Massot said:

I think it would be more honest to more visibly include the word Huawei in that job announcement.

Yes, this is Huawei as it is plainly apparent from my email address.

[Adam Topaz]

My browser is telling me that the website linked above is untrusted. Is there a certificate error perhaps?

[Kim Morrison]

Me too.

[Anthony Bordg]

Adam Topaz said:

My browser is telling me that the website linked above is untrusted. Is there a certificate error perhaps?

Same the first time I visited, I just trusted the website.

[Yury G. Kudryashov]

More details: the certificate expired about half a year ago.

[Anthony Bordg]

I should add that we're trying to convince the compliance department to make the code public and to contribute to Mathlib.

[Anthony Bordg]

To all applicants: I have already received many applications, unfortunately I won't be able to respond to each of your personally, but the selected candidate(s) should hear back from us before the end of next week. Still time to apply!

[Antoine Chambert-Loir]

I feel compelled to post a link to the op'ed some colleagues and I published in Le Monde 3 years ago.
It is in French but the title says “We ask researchers not to participate to the activities of the Huawei Research Center in Paris”.

Huawei published a “droit de réponse” on June 7, 2021.

LeMonde-20210518.pdf
https://www.lemonde.fr/idees/article/2021/05/18/nous-demandons-aux-chercheurs-de-ne-pas-participer-aux-activites-du-centre-de-recherche-huawei-a-paris_6080603_3232.html

[Antoine Chambert-Loir]

(I am not sure thumbs up/down are appropriate here. This tribune was not meant to put us in front, and while I believe it is important that, as scientists, we think together about these issues — and there are a few others that will appear sooner or later — they mustn't divide us like this. On the other hand, a few Zulip channels devoted to, say, Lean and global surveillance; Lean and energy; Lean and GAFAM, where people who wish to reflect about these questions can meet, would be welcome.)

[Anatole Dedecker]

I meant :thumbs_up: as "I believe this is useful information (including the "droit de réponse"), thank you for posting it here." But indeed turning this into a upvote/downvote battle is not the right way to have this conversation.

[Anthony Bordg]

(deleted)

[Anthony Bordg]

(deleted)

[Eric Wieser]

Do you want me to rename the other topic to merge with this one?

[Anthony Bordg]

Yes, please.

[Eric Wieser]

Done, I assume you just hit a transient Zulip glitch

[Anthony Bordg]

Thank you, Eric.

[Anthony Bordg]

We advertise not one but three positions, one in Paris and up to two in London. I updated the job ad.

[Michael Xu]

May I ask how this update affects the previous applications? You mentioned earlier that the selected candidates would hear back before the end of last week. Would you also consider international applicants if they would be able and willing to move and cover their own housing?

[Anthony Bordg]

Michael Xu said:

May I ask how this update affects the previous applications? You mentioned earlier that the selected candidates would hear back before the end of last week. Would you also consider international applicants if they would be able and willing to move and cover their own housing?

This update doesn't affect previous applications. I'm sorry, the recruitment process is taking more time than expected and we haven't selected candidates yet. Positions are open to all, international applicants included.

[Anthony Bordg]

I take the opportunity to highlight the Toposes in Mondovi event (school + conference). I encourage applicants if they can to attend the 4-day school on toposes from 3 to 6 september, it would be a nice opportunity for us to meet them and have an informal discussion.