Job Description

Company Description

About Huawei

With 194,000 employees and operating in more than 170 countries and regions, Huawei is a leading global creator and provider of information and communications technology (ICT) infrastructure and smart devices. Integrated solutions span across four key domains - telecom networks, IT, smart devices, and cloud services. Huawei is committed to bringing digital to every person, home and organization for a fully connected, intelligent world.

About Huawei Canada

Huawei Canada focuses on fundamental research and development aimed at solving complex technical problems in emerging technologies like 5G, AI, Human Computer Interaction and Autonomous Driving. With ongoing research initiatives with 10 Universities across Canada and strategic collaboration agreements with several Universities, we support Canada's rich research community. In 2020, Huawei Canada ranked among the Top 20 corporate R&D investors in the country with a huge 40% increase in R&D investment year over year. Huawei Canada was established in 2008 and now has a total workforce of 1,200 in our six research centers across Canada.

Why work with Huawei Canada?

You will have the opportunity to work on real world problems that impact people across the globe. Many of our researchers are actively involved in publishing conference and journal papers, inventing patents and solving challenging technical problems. With cutting edge tools, access to highly specialized leaders and researchers, and significant funding, you will be well supported to fulfil your potential and pursue your professional dreams.



A new research lab on formal methods in system development (both software and hardware) is being formed in the Waterloo Research Centre of Huawei Canada. As a researcher in this lab you will perform cutting-edge research in formal specification and formal verification, and contribute to productive use of formal methods in system development within Huawei.

Responsibilities:

• Contribute to cutting-edge formal methods research and application projects within Huawei.
• Build expertise on a wide spectrum of formal methods tools, and contribute to tool chain development and documentation.
• Possibly conduct training of Huawei engineers in aspects of formal methods

Locations:

• Waterloo
• Toronto, Markham

Qualifications

• PhD in a relevant field of Computer Science or Software Engineering, for example, software correctness tools, automated theorem proving, automated software engineering, model checking, static analysis, programming languages.
• Tool development skills are desired, including software development experience using functional programming languages such as Haskell, OCaml, Scala.
• Experience with use of proof assistants (e.g., Isabelle, Coq, Agda, PVS, ACL2) is desired.

Additional Information

Working with us provides you the opportunities to network with the world leading professionals, to integrate theoretical knowledge with practical skills, and most importantly, to experience the cutting-edge technology before everyone else.

We thank all applicants for their interest in career opportunities with Huawei. Only selected candidates will be contacted for an interview.