Researcher Formal Methods

Markham, ON, Canada

Apply Now

Our team has an immediate permanent opening for a Researcher - Formal Methods.

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
Possibly conduct training of Huawei engineers in aspects of formal methods

What you\xe2\x80\x99ll 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 desired

Beware of fraud agents! do not pay money to get a job

MNCJobz.com will not be responsible for any payment made to a third-party. All Terms of Use are applicable.