Find jobs in AI/ML, Data Science and Big Data
4 results
for Dafny
(Skill/Tech stack)
-
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, USA12h ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-248KDafny | Haskell | Kotlin | Lean | Mechanical theorem provingFlexible work hours | Paid time off | Parental leave | Work-life balanceSenior-level Full TimeSeattle, Washington, USA1d ago
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCloud Security | Dafny | Haskell | Kotlin | Language theoryFlexible work hours | Mentorship | Paid time off | Parental leave | Training resourcesSenior-level Full TimeSeattle, Washington, USA21d 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