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 robust 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 current 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 scriptsRequirements:
Degree in Computer Science, Mathematics, or Physics
Demonstrated mathematical reasoning skills
Proficient in programming (Python, C++)
Fast learner of recent verification tools
Hands-on verification experience preferredContribute to exciting projects in AI by ensuring rigorous verification of systems.#J-18808-Ljbffr

📌 Formal Verification Engineer In Ai Sector Toronto
🏢 Cognichip
📍 Toronto