Find jobs in AI/ML, Data Science and Big Data
1 result
for Automated theorem proving
(Skill/Tech stack)
-
API Design | Automated theorem proving | Constraint Satisfaction | Constraint Solver | Constraint Solver IntegrationDependent care | Paid leave | Paid training | Professional development | Retirement benefitsSenior-level Full TimeUndisclosed Location - USA, VA, Mclean, …2d ago