Find jobs in InfoSec/Cybersecurity
6 results
for Formal Methods
(Skill/Tech stack)
-
Research Scientist USD 100K-300KAI for Code | AI for Code Reasoning | AI for code generation | Automated Reasoning | Automated testingSenior-level Full TimeSan Francisco, CA16d ago
-
Assistant Director, Advanced Cybersecurity Research USD 185K-264KArtificial Intelligence | Build systems | CMake | Cryptography | Data Analysis401k | Conference travel | Flexible working hours | Free meals snacks drinks | Health insuranceExecutive-level Full TimeClifton Park, New York23d ago
-
Senior Cybersecurity Scientist USD 138K-250KCybersecurity | Formal Methods | Offensive security | Open Source | Research writingSenior-level Full TimeBeavercreek, OH, United States1mo ago
-
Technical Leader, Advanced Cybersecurity Research USD 95K-200KArtificial Intelligence | C# | C++ | CMake | Cryptography401k | Bonus plan | Conference travel | Flexible work hours | Free meals and snacksSenior-level Full TimeClifton Park, New York1mo ago
-
System Security Software Engineer INR 2500K-3487KBSP | Bare Metal | C# | Code integrity | Computer ArchitectureComprehensive benefits package | Family benefitsSenior-level Full TimeIndia, Pune1mo ago
-
AES - DE - Generative AI Application Developers INR 2800K-3500KAWS | Application Security Testing | Authentication | Authorization | AzureSenior-level Full TimePune, Maharashtra, India1mo ago