Find jobs in AI/ML, Data Science and Big Data
4 results
for Mechanical theorem proving
(Skill/Tech stack)
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hours | Mentorship | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA10h ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KMechanical theorem proving | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and development resources | Mentoring | Work-life balanceMid-level Full TimeAustin, Texas, USA10h ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-222KAutomated Reasoning | Mechanical theorem proving | Privacy | Problem Solving | Program analysisFlexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA10h ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-193KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsDEI events and learning experiences | Flexible work hours | Mentoring | Training and career growth | Work-life balanceMid-level Full TimeSeattle, Washington, USA1d ago