Find jobs in InfoSec/Cybersecurity
10 results
for Formal Methods
(Skill/Tech stack)
-
AES - DE - Generative AI Application Developers INR 2000K-5000KAWS | Application Security | Authentication | Authorization | AzureSenior-level Full TimePune, Maharashtra, India1d ago
-
AES - DE - Generative AI Application Developers INR 2800K-3500KAWS | Application Security Testing | Authentication | Authorization | AzureSenior-level Full TimePune, Maharashtra, India1d ago
-
Padawan Systems Security Researcher USD 60K-120KAFL++ | Assembly | Build systems | C# | C++Top-secret security clearance eligibilityNone Full TimeLexington, MA, United States2d ago
-
Assistant Director, Advanced Cybersecurity Research USD 180K-200KArtificial Intelligence | CMake | Cryptography | Data Analysis | Formal Methods401k | Bonus plan | Conference travel | Employee-owned company | Flexible working hoursExecutive-level Full TimeClifton Park, New York4d ago
-
Technical Leader, Advanced Cybersecurity Research USD 90K-205KArtificial Intelligence | C# | C++ | CMake | Cryptography401k | Bonus plan | Conference travel | Disability insurance | Flexible working hoursSenior-level Full TimeClifton Park, New York5d ago
-
Assembly | Automated program analysis | CompCert | Compilers | Computer ArchitectureSenior-level Full TimeFairfax, VA, United States7d ago
-
Associate Professor or DTU Tenure Track Assistant Professor in Cybersecurity - DTU Compute DKK 540K-540KAI | Blockchain | Computing security | Cryptography | Cyber RiskAcademic freedom | Collaboration with industry | Diverse and inclusive workplace | International environment | Research funding opportunitiesMid-level Full TimeKgs. Lyngby, Denmark1mo ago
-
Senior Formal Methods Engineer USD 82K-220KAutomated solvers | Binary Code Analysis | Binary code | Code Analysis | CybersecurityCultural discounts | Employee clubs | Flexible work options | Health workshops | Social eventsSenior-level Full TimeMA - Cambridge, United States1mo ago
-
Software Engineer – Low-level Systems (C, C++, Rust) USD 91K-180KC# | C++ | Compiler design | Computer Architecture | CryptographySenior-level Full TimeLexington, MA, United States1mo ago
-
Research Scientist – Formal Methods USD 91K-180KAssembly | Benchmarking | C Programming | Collaboration | Computer ArchitectureEntry-level Full TimeLexington, MA, United States1mo ago