Sign in

Find jobs in InfoSec/Cybersecurity

3 results for SMT solving (Skill/Tech stack)

Research Scientist - Network Systems USD 135K-216K

AI | AWS | Agile | Azure | C#

Senior-level Full Time

Basking Ridge, NJ, United States

16d ago
Lead System Integrator (LSI) USD 112K-179K

API Design | Agile | Artifact packaging | C# | C++

Security clearance eligible

Senior-level Full Time

Red Bank, NJ, United States

18d 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

22d ago