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 environments 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 new 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 (Toronto)
🏢 Cognichip
📍 Toronto