More jobs:
Job Description & How to Apply Below
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
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×