Find jobs in InfoSec/Cybersecurity
5 results
for Formal Methods
(Skill/Tech stack)
-
Adversarial Testing | Blue Teaming | Cybersecurity | Formal Methods | Proof EngineeringCycle to work scheme | Defined contribution pension | Employee assistance programme | Enhanced family leave | Hybrid workingSenior-level Full Time TemporaryLondon3d ago
-
Cybersecurity | Dynamic analysis | Formal Methods | Linux | Networking protocolsExpense reimbursement | Hybrid work | Onsite worksite support | Technical mentorshipNone Full TimeIT - Ronchi dei Legionari, Italy7d 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
-
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 York1mo ago
-
Senior Cybersecurity Scientist USD 138K-250KCybersecurity | Formal Methods | Offensive security | Open Source | Research writingSenior-level Full TimeBeavercreek, OH, United States1mo ago