Find jobs in InfoSec/Cybersecurity
3 results
for Automated Reasoning
(Skill/Tech stack)
-
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, USA14d ago
-
Research Scientist USD 100K-300KAI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testingSenior-level Full TimeSan Francisco, CA1mo ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA1mo ago