Find jobs in InfoSec/Cybersecurity
3 results
for Automated Reasoning
(Skill/Tech stack)
-
Automated Reasoning | Cloud Security | Compliance | Compositional heap analysis | CoqFlexible work arrangements | Training and career growth | Work-life balanceSenior-level Full TimeNew York, New York, USA1d ago
-
Research Scientist USD 100K-300KAI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testingSenior-level Full TimeSan Francisco, CA21d ago
-
AI Research Engineer USD 100K-300KAutomated Reasoning | Automated testing | Code generation | Dynamic analysis | Formal verificationSenior-level Full TimeSan Francisco, CA25d ago