Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Join cutting-edge research projects in automatic Math formalization and proving.
- Company: Huawei is a global leader in ICT, driving innovation for a fully connected world.
- Benefits: Enjoy a dynamic work environment with opportunities for growth and collaboration.
- Why this job: Be part of a mission to transform communication and technology through research.
- Qualifications: MSc in Math or related fields; experience with computer proof assistants like Lean or Isabelle.
- Other info: Entry-level position with potential for academic publishing and collaboration.
The predicted salary is between 36000 - 60000 ÂŁ per year.
Join to apply for the Lean Specialist -Contractor role at Huawei Technologies Research & Development (UK) Ltd
Continue with Google Continue with Google
2 weeks ago Be among the first 25 applicants
Join to apply for the Lean Specialist -Contractor role at Huawei Technologies Research & Development (UK) Ltd
About Huawei Research And Development UK Limited
Founded in 1987, Huawei is a leading global provider of information and communications technology (ICT) infrastructure and smart devices. We have 207,000 employees and operate in over 170 countries and regions, serving more than three billion people around the world.
Our vision and mission is to bring digital to every person, home and organization for a fully connected, intelligent world. To this end, we will drive ubiquitous connectivity and promote equal access to networks; bring cloud and artificial intelligence to all four corners of the earth to provide superior computing power where you need it, when you need it; build digital platforms to help all industries and organizations become more agile, efficient, and dynamic; redefine user experience with AI, making it more personalized for people in all aspects of their life, whether they’re at home, in the office, or on the go.
This spirit of innovation has led Huawei to work in close partnership with leading academic institutions in the UK to develop and refine the latest technologies. With a shared commitment to innovation and progress, both parties have worked together to achieve common goals and establish a strong partnership. The partnership between UK and Huawei help to develop the technologies of the future that will transform the way we all communicate, work and live.
For the past 30 years we have maintained an unwavering focus, rejecting shortcuts and easy opportunities that don\’t align with our core business. With a practical approach to everything we do, we concentrate our efforts and invest patiently to drive technological breakthroughs.
This strategic focus is a reflection of our core values:
- staying customer-centric,
- inspiring dedication,
- persevering,
- growing by reflection.
Huawei Research And Development UK Limited Overview
Huawei’s vision is a fully connected, intelligent world. To achieve this, we work to inspire passion for basic research around the world. Our combined passion drives development across the global innovation value chain. Huawei has the largest Research and Development organization in the world with 96,000+ employees in research centers around the globe. In the UK, we already have design centers in Cambridge, London, Edinburgh and Ipswich. We continue to explore and define new research directions and new services. We have expanded our collaborations with academic researchers; researched new network architectures, integration of communications and key enabling technologies; and developed the fundamental theories of these technologies. We invite you to join us on this exciting journey and drive your career forward.
Job Summary
We are looking for Math Formalization Specialist/Research Engineers with experience in formalizing mathematics in a computer proof assistant, e.g. Lean, Isabelle. In this role, candidates will conduct both academic and applied research in automatic Math formalization and proving through the fields of NLP and Machine Learning.
Key Responsibilities:
- Participate in cutting-edge research projects.
- Build benchmarks/baselines using public data-sets.
- Publish research papers at top-tier NLP/ML/AI conferences and journals.
This job description is only an outline of the tasks, responsibilities and outcomes required of the role. The jobholder will carry out any other duties as may be reasonably required by his/her line manager. The job description and personal specification may be reviewed on an ongoing basis in accordance with the changing needs of Huawei Research and Development UK Limited.
Person Specification:
Required:
- Obtained the right to work in the UK.
- Have an MSc degree in Math or related areas.
- Hands on experience in formalizing mathematics in a computer proof assistant, e.g. Lean, Isabelle.
- Be result-driven with good communication skills; be able to work efficiently in a multi-cultural, multi-site, multi-language and changing environment.
- Be able to work autonomously and as part of a team of research and technical experts.
Desired:
- Have a PhD degree in Math or related areas.
- Have experience on LLM-driven auto-formalizers and math provers.
Seniority level
-
Seniority level
Entry level
Employment type
-
Employment type
Full-time
Job function
-
Job function
Management and Manufacturing
-
Industries
Telecommunications
Referrals increase your chances of interviewing at Huawei Technologies Research & Development (UK) Ltd by 2x
Sign in to set job alerts for “Lean Specialist” roles.
Continue with Google Continue with Google
Continue with Google Continue with Google
Tilbury, England, United Kingdom 3 weeks ago
Hatfield, England, United Kingdom 3 weeks ago
Elstree, England, United Kingdom 13 hours ago
Woking, England, United Kingdom 2 weeks ago
Feltham, England, United Kingdom 1 week ago
Stansted, England, United Kingdom 3 weeks ago
London, England, United Kingdom 1 week ago
London, England, United Kingdom 2 weeks ago
Redhill, England, United Kingdom 4 days ago
Greater London, England, United Kingdom 3 months ago
London, England, United Kingdom 1 day ago
Paddington, England, United Kingdom 1 week ago
Windlesham, England, United Kingdom 3 days ago
London, England, United Kingdom 1 week ago
Sunbury-On-Thames, England, United Kingdom 17 hours ago
Dartford, England, United Kingdom 2 weeks ago
Hayes, England, United Kingdom 3 weeks ago
Woking, England, United Kingdom 2 weeks ago
Windlesham, England, United Kingdom 2 weeks ago
London, England, United Kingdom 1 month ago
Windlesham, England, United Kingdom 1 month ago
Data Center Inventory Control Specialist 4
London, England, United Kingdom 18 hours ago
VP – Power & Utilities, Investment Banking
Executive Assistant (Broad Remit) – Major Hedge Fund – £90-110k base + Large bonus – WFH Flexibility
Investment Associate – Structured Credit
London, England, United Kingdom 1 month ago
Vice President – Valuations – Private Credit
London, England, United Kingdom 1 week ago
London, England, United Kingdom 2 weeks ago
Senior Retail Property Management Surveyor
London, England, United Kingdom ÂŁ45,000 – ÂŁ55,000 1 month ago
London, England, United Kingdom 1 week ago
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr
Lean Specialist -Contractor employer: Huawei Technologies Research & Development (UK) Ltd
Contact Detail:
Huawei Technologies Research & Development (UK) Ltd Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Lean Specialist -Contractor
✨Tip Number 1
Familiarise yourself with Lean and Isabelle, as these are key tools for the role. Consider joining online forums or communities where you can discuss and learn more about these proof assistants.
✨Tip Number 2
Engage with current research in NLP and Machine Learning. Follow relevant conferences and journals to stay updated on the latest advancements, which will help you speak knowledgeably during interviews.
✨Tip Number 3
Network with professionals in the field by attending workshops or webinars related to mathematics formalization. This can lead to valuable connections and insights that may benefit your application.
✨Tip Number 4
Prepare to demonstrate your problem-solving skills through practical examples. Be ready to discuss specific projects or challenges you've tackled using Lean or similar technologies during your interview.
We think you need these skills to ace Lean Specialist -Contractor
Some tips for your application 🫡
Understand the Role: Before applying, make sure to thoroughly read the job description for the Lean Specialist - Contractor position. Understand the key responsibilities and required qualifications, especially the emphasis on experience with formalizing mathematics in proof assistants like Lean or Isabelle.
Tailor Your CV: Customise your CV to highlight relevant experience and skills that align with the job requirements. Focus on your academic background in Mathematics, any hands-on experience with computer proof assistants, and your ability to work in a multi-cultural environment.
Craft a Compelling Cover Letter: Write a cover letter that not only outlines your qualifications but also expresses your passion for research and innovation in the field of ICT. Mention specific projects or experiences that demonstrate your expertise in NLP and Machine Learning.
Proofread Your Application: Before submitting your application, carefully proofread all documents for spelling and grammatical errors. A polished application reflects attention to detail, which is crucial for a role that involves formalising mathematics.
How to prepare for a job interview at Huawei Technologies Research & Development (UK) Ltd
✨Understand the Role
Make sure you have a clear understanding of what a Lean Specialist does, especially in the context of Huawei. Familiarise yourself with their approach to innovation and how it relates to your role.
✨Showcase Your Technical Skills
Be prepared to discuss your experience with formalising mathematics in proof assistants like Lean or Isabelle. Bring examples of your work or projects that demonstrate your technical expertise.
✨Emphasise Communication Skills
Since the role requires working in a multi-cultural environment, highlight your communication skills. Be ready to share experiences where you successfully collaborated with diverse teams.
✨Prepare for Research Discussions
Expect questions about your research interests and how they align with Huawei's goals. Be ready to discuss any relevant papers you've published or projects you've worked on in NLP or Machine Learning.
