Step into the role of Formal Verification Engineer in the AI sector, where analytical thinkers solve the toughest correctness challenges. This is a prime opportunity for candidates with a strong mathematical background.

As part of our verification team, you will delve into mathematically proving complex systems function as intended. Ideal candidates will have experience in formal methods, research, or rigorous quantitative disciplines and be prepared to learn new domains quickly. Your work will involve key responsibilities that enhance verification methodologies.

Key Responsibilities:
• Develop formal verification settings for complex systems
• Translate design documents into formal properties




• Conduct property checking and model checking effectively
• Improve methodologies for verification coverage
• Support productivity through custom scripts

Requirements:
• Degree in Computer Science, Mathematics, or Physics
• Demonstrated mathematical reasoning skills
• Proficient in programming (Python, C++)
• Rapid learner of current verification tools
• Hands-on verification experience preferred

Contribute to exciting projects in AI by ensuring rigorous verification of systems.
J-18808-Ljbffr

📌 Formal Verification Engineer In Ai Sector Ontario (Canada)
🏢 Cognichip
📍 Canada