Lean Specialist for AI Research @Huawei in London

Stream: job postings

[Philipp Borchert]

We're looking for a Lean Specialist to join our NLP Team in building open benchmarks and advancing frontier models at the intersection of AI and mathematics. This role focuses on autoformalization, theorem proving, and contributing to cutting-edge research.

If you're interested and have any questions, feel free to reach out!
Check out the full description here