Why Riverside Research Institute
FY2025 · Form 990Its mission and biggest programs, as filedSupports and conducts scientific research.
- The Institute engages in and supports scientific Research, on behalf of the u.s. Government and its agencies as well as the national Institute of health, on various classified and unclassified programs in a variety of areas including radar and cyber…$174.1M spent in FY2025
Before you apply
FY2024 · Form 990Independent: from IRS data, not the orgAbout the role
The org's own posting, as writtenRiverside 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 Within Riverside Research, the Open Innovation Center (OIC) conducts internally funded and contract-funded R&D to develop technologies with lasting practical impact. The Secure and Resilient Systems (SRS) group within OIC focuses on rigorous approaches to building trustworthy computing systems.
SRS seeks a Research Scientist – Cryptography with an interest in formal methods to develop, prototype, and evaluate new formal methods techniques for software and systems security. The researcher will contribute to a range of collaborative R&D projects, working with colleagues across formal methods, cryptography, programming languages, and systems software. If you are a cryptographer interested in programming language theory or formal methods as well as compilers, computer architecture, or operating systems, you should apply for this position.
If you have mechanized cryptographic arguments in a theorem prover such as Rocq or Lean, or a verification tool such as CryptoVerif or EasyCrypt, you definitely should apply for this position. If you want to advance the state of the art in compositional, mechanized proofs of cryptographic protocol implementations, then you need to apply for this position!
Responsibilities
Conduct formal methods and cryptography research, including developing models, specifications, proofs, and verification techniques. Develop and evaluate research prototypes and tools that apply formal methods to software and systems security problems. Collaborate on multidisciplinary research with colleagues in formal methods, cryptography, programming languages, systems software, and related areas. Communicate research results through publications, reports, presentations, and briefings to technical and nontechnical audiences. Support research planning and proposal development by identifying new opportunities and contributing technical approaches.
Qualifications
Required Qualifications: Bachelor’s degree in computer science, computer engineering, cybersecurity, or a related field; 5+ years of relevant research or engineering experience. Advanced degree preferred. Equivalent combinations of education and experience will be considered. Research experience in cryptography and a strong interest in formal methods, programming languages, or a closely related area. Experience developing or applying mechanized proofs or formal verification techniques. Demonstrated knowledge of cryptography, including techniques for reasoning about cryptographic security.
Ability to formulate technical problems, evaluate alternative approaches, and conduct research independently and collaboratively…
About Riverside Research Institute
From its Form 990- Budget $286.6M · Medical Research
- Staff 895 · founded 1967
- Pays its leaders $259K–$1.1M (12 reported)
- Open jobs 50 · Jobs at Riverside Research Institute · Full 990 report