Find jobs in InfoSec/Cybersecurity

7 results for Formal Methods (Skill/Tech stack)

Assistant Director, Advanced Cybersecurity Research USD 185K-264K

Artificial Intelligence | Build systems | CMake | Cryptography | Data Analysis

401k | Conference travel | Flexible working hours | Free meals snacks drinks | Health insurance

Executive-level Full Time

Clifton Park, New York

1d ago
Senior Cybersecurity Scientist USD 138K-250K

Cybersecurity | Formal Methods | Offensive security | Open Source | Research writing

Senior-level Full Time

Beavercreek, OH, United States

13d ago
Senior Cybersecurity Scientist USD 138K-250K

Business Development | Cybersecurity | Formal Methods | Offensive security | Open Source

Senior-level Full Time

Lexington, MA, United States

14d ago
Technical Leader, Advanced Cybersecurity Research USD 95K-200K

Artificial Intelligence | C# | C++ | CMake | Cryptography

401k | Bonus plan | Conference travel | Flexible work hours | Free meals and snacks

Senior-level Full Time

Clifton Park, New York

20d ago
System Security Software Engineer INR 2500K-3487K

BSP | Bare Metal | C# | Code integrity | Computer Architecture

Comprehensive benefits package | Family benefits

Senior-level Full Time

India, Pune

22d ago
AES - DE - Generative AI Application Developers INR 2800K-3500K

AWS | Application Security Testing | Authentication | Authorization | Azure

Senior-level Full Time

Pune, Maharashtra, India

27d ago
Senior Research Scientist – Formal Methods and Cryptology USD 115K-200K

Assembly | Automated program analysis | CompCert | Compilers | Computer Architecture

Senior-level Full Time

Fairfax, VA, United States

1mo ago