Find jobs in AI/ML, Data Science and Big Data
5 results
for Automated Reasoning
(Skill/Tech stack)
-
Automated Reasoning | Automated theorem proving | Bandit Algorithms | Complexity analysis | Concentration InequalitiesEducational assistance for dependents | Educational subsidy for children | Health and wellness services | Housing subsidy | Relocation allowanceMid-level Full TimeAbu Dhabi7d ago
-
Applied Scientist, AWS Automated Reasoning USD 142K-223KAutomated Reasoning | Dafny | Haskell | Kotlin | Lean401k matching | Flexible work hours | Health insurance | Paid time off | Parental leaveMid-level Full TimeSeattle, Washington, USA19d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Mechanical theorem proving | Program analysis | Programming language | Programming language type systemsFlexible work hoursSenior-level Full TimeSeattle, Washington, USA19d ago
-
Solutions Architect INR 2200K-4500KAWS CDK | AWS CloudFormation | Agent Orchestration | Agentic AI | Amazon AgentCoreWorkplace accommodationsSenior-level Full TimeBengaluru, Karnataka, IND1mo ago
-
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq401k matching | Flexible work hours | Paid time off | Parental leaveSenior-level Full TimeNew York, New York, USA1mo ago