At a Glance
- Tasks: Develop formal verification environments and enhance methodologies for complex AI systems.
- Company: Join a leading AI company focused on innovative solutions and rigorous verification.
- Benefits: Competitive salary, flexible hours, and opportunities for professional growth.
- Other info: Dynamic team environment with exciting projects and career advancement opportunities.
- Why this job: Make a real impact in AI by ensuring systems work flawlessly.
- Qualifications: Degree in Computer Science, Mathematics, or Physics; strong programming skills required.
The predicted salary is between 135000 - 165000 $ per year.
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++)
- Fast 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 in Toronto employer: Cognichip
At Cognichip, we pride ourselves on being an exceptional employer that fosters innovation and collaboration in the heart of Toronto's tech scene. Our commitment to employee growth is evident through mentorship opportunities and a culture that encourages creativity at the intersection of silicon design and AI. With competitive compensation and comprehensive benefits, we empower our team to lead the charge in transforming the semiconductor industry while enjoying a supportive and inclusive work environment.
