Intern Researcher - Formal Methods

Huawei
Apply Now

Job Description

Our team has an immediate internship opening for a Researcher.

Responsibilities:

  • Perform cutting-edge research in formal specification, formal verification, and contribute to productive use of formal methods in system development within Huawei
  • Build expertise on a wide spectrum of formal methods tools, and contribute to tool chain development and documentation

Job requirements

What you’ll bring to the team:

  • PhD or Master's 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 an asset

Company Info.

Huawei

Huawei is a Chinese multinational technology corporation headquartered in Shenzhen, Guangdong province. It designs, develops, manufactures and sells telecommunications equipment, consumer electronics, smart devices and various rooftop solar products. Huawei has deployed its products and services in more than 170 countries and areas.

  • Industry
    Telecommunications,Artificial intelligence,Cloud computing,Semiconductors,Consumer electronics,Internet of things
  • No. of Employees
    194,000
  • Location
    Shenzhen, Guangdong Province, China
  • Website
  • Jobs Posted

Get Similar Jobs In Your Inbox

Huawei is currently hiring Student Researcher Intern Jobs in Markham, ON, Canada with average base salary of Can$20 - Can$50 / Hour.

Similar Jobs View More