Senior Research Scientist – Formal Methods and Cryptology

Job description

Riverside Overview Riverside Research is an independent National Security Nonprofit dedicated to research and development in the national interest. We provide high-end technical services, research and development, and prototype solutions to some of the country’s most challenging technical problems. All Riverside Research opportunities require U.S. Citizenship. Position Overview: The Secure and Resilient Systems group seeks a senior research scientist to support research and development of cutting-edge formal methods applied to software systems. The senior research scientist will support a team that invents, prototypes and evaluates new formal methods and software security approaches throughout the systems software stack. The senior research scientist should additionally have a background in cryptography/cryptology. Some topics of interest to a good candidate may include: theorem provers (e.q., Rocq/Coq, Lean, Isabelle), SMT solvers, programming languages theory (e.g., operational semantics), functional programming, compilers (e.g., frontends, IR & optimization, backends), automated program analysis and software testing. Interest in systems software (e.g., operating systems includin...