Sign in

Find jobs in InfoSec/Cybersecurity

6 results for Theorem Proving (Skill/Tech stack)

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

11d ago
Senior Applied Scientist, AWS Science of Security USD 167K-226K

AWS | Mechanical theorem proving | Privacy | Program analysis | Programming language

Flexible work hours | Work-life balance

Senior-level Full Time

Arlington, Virginia, USA

23d ago
Hardware Security and Trust GRA - CIPHER - Summer 2026 USD 49K-79K

C# | C++ | Circuit design | Cyber-Physical Systems | Data Visualization

Entry-level Full Time

Atlanta, GA

26d ago
Hardware Security and Trust Student Assistant – Summer 2026 - CIPHER USD 40K-79K

C# | C++ | Circuit design | Digital design | FPGA

Entry-level Full Time

Atlanta, GA

26d ago
Hardware Security and Trust Co-op – Summer 2026 - CIPHER USD 50K-62K

C# | Circuit design | Cyber-Physical Systems | Debugging | Digital design

Entry-level Full Time

Atlanta, GA

26d ago
Senior Formal Methods Engineer USD 82K-220K

Automated solvers | Binary Code Analysis | Binary code | Code Analysis | Cybersecurity

Cultural discounts | Employee clubs | Flexible work options | Health workshops | Social events

Senior-level Full Time

MA - Cambridge, United States

1mo ago