isecjobs.com

Senior Research Scientist – Formal Methods and Cryptology

Fairfax, VA, United States

USD 115K-200K Senior-level Full Time

Apply Save
Found 1d ago
Tasks
Perks/Benefits
Skills/Tech-stack

Assembly | Automated program analysis | CompCert | Compilers | Computer Architecture | Cryptography | Cryptology | Debugging | Formal Methods | Functional Programming | Hypervisor | LLVM | Operating Systems | Operational semantics | Program analysis | Programming Languages | RTOS | SMT solving | Software testing | Theorem Proving | Version control

Education

Bachelor of Science | Master of Science | PhD

Roles

Formal Methods Researcher | Research Scientist | Researcher | Scientist

Regions

North America

Countries

United States

States

Virginia, US

Cities

Fairfax, Virginia, US

Apply Save
Language: en | Views: 0 | Clicks: 0 | Saves: 0

Related jobs