Register
Recruit Create CV
Unfortunately, this job posting is expired.
Don't worry, we can still help! Below, please find related information to help you with your job search.
Related keywords
Some similar recruitments
It Vulnerability Analyst Jobs
Recruited by HubSpoke Inc. 7 months ago Address Ottawa, Ontario, Canada
Verification And Validation Engineer
Recruited by Standard BioTools 8 months ago Address Markham, Ontario, Canada
Mechanic Sign On Bonus 7500
Recruited by WM 8 months ago Address Ottawa, Ontario, Canada
Safety Analysis Methods Engineer
Recruited by Sonovision HQ - Ortec Group 8 months ago Address Ottawa, Ontario, Canada
Researcher - 6G Software
Recruited by Huawei Technologies Canada Co., Ltd. 8 months ago Address Ottawa, Ontario, Canada
Repair & Overhaul Planner (Methods Engineer)
Recruited by Magellan Aerospace Limited 9 months ago Address Mississauga, Ontario, Canada
User Researcher Jobs
Recruited by Insight Global 9 months ago Address Mississauga, Ontario, Canada
Co-Op Researcher - 6G
Recruited by Huawei Technologies Canada Co., Ltd. 9 months ago Address Ottawa, Ontario, Canada
Principal Researcher – Haptic Feedback
Recruited by Huawei Technologies Canada Co., Ltd. 9 months ago Address Markham, Ontario, Canada
Principal Researcher – Hci Jobs
Recruited by Huawei Technologies Canada Co., Ltd. 9 months ago Address Markham, Ontario, Canada
Researcher Jobs
Recruited by The History Group Inc. 9 months ago Address Ottawa, Ontario, Canada
Level 1 User & Site Support Analyst
Recruited by eXcell, a division of Compucom Systems 10 months ago Address Milton, Ontario, Canada
Tdp Apprentice - Level 1 (Hrly)
Recruited by Boyd Group Services Inc. 10 months ago Address Dundas, Ontario, Canada
Researcher Jobs
Recruited by Solvay 10 months ago Address Niagara Falls, Ontario, Canada
Verification & Validation Engineer Jobs
Recruited by Standard BioTools 10 months ago Address Markham, Ontario, Canada
Functional Verification Engineer Jobs
Recruited by AMD 11 months ago Address Markham, Ontario, Canada
Research & Formulation Specialist Jobs
Recruited by Iovate 11 months ago Address Oakville, Ontario, Canada
Staff Researcher - Mobile Ai
Recruited by Huawei Technologies Canada Co., Ltd. 11 months ago Address Markham, Ontario, Canada
Prospect Researcher - Virtual (Within Canada)
Recruited by Essential HR Canada 11 months ago Address Ottawa, Ontario, Canada
Clinical Researcher Jobs
Recruited by Adecco 1 year ago Address Ottawa, Ontario, Canada
Product Researcher Jobs
Recruited by CARFAX 1 year ago Address London, Ontario, Canada
Co-Op Researcher - Formal Methods
Recruited by Huawei Technologies Canada Co., Ltd. 1 year ago Address Markham, Ontario, Canada
Staff Researcher - Computer Vision
Recruited by Huawei Technologies Canada Co., Ltd. 1 year ago Address Markham, Ontario, Canada

Researcher - Formal Methods

Company

Huawei Technologies Canada Co., Ltd.
Address Markham, Ontario, Canada
Employment type FULL_TIME
Salary
Category Telecommunications
Expires 2023-07-08
Posted at 11 months ago
Job Description
Our team has an immediate permanent opening for a Researcher.


Responsibilities:


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


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
  • Experience with use of proof assistants (e.g., Isabelle, Coq, Agda, PVS, ACL2) is an asset
  • Tool development skills are desired, including software development experience using functional programming languages such as Haskell, OCaml, Scala