Live Chat

Research Scientist - Formal Methods Job in Dayton, Ohio US

Research Scientist - Formal Methods

Riverside Research Institute - Dayton, OH

Posted: 2/20/2024 - Expires: 5/20/2024

Job ID: 270014998


Job Description

Research Scientist - Formal Methods






Research & Development

Position Type

Full Time Salary

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 way we are securing computer systems is not working, come help us change the paradigm as we apply formal techniques to system security. Modern computing systems are complex. As scientists we deal with complexity by utilizing abstraction. Thus layered system architectures are the foundation of all modern computing systems. Yet these system layers can interact in ways that people who use them (and even the people who designed and built them) do not understand. This paves the way for attackers to exploit systems.

Riverside Research's Secure and Resilient Systems group is working to change this paradigm. We are developing new theories, techniques, and tooling to support scalable system security analysis using formal methods. If you have a background with existing formal methods tools like Coq, TLA+, EasyCrypt, and SMT solvers, F*, we would love to talk.


Use formal methods to model complex systems
Provide feedback to our tool development team on ways to make the tools we develop better
Research new methods to make application of formal methods to systems we are analyzing better
Build new formal methods tools
Participate in relevant internal and customer meetings


Required Qualifications:

Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, or Cybersecurity and 8 years of relevant experience, 6 years and a Masters, or 3 years and a PhD.
Prior experience with formal methods tools
A deep technical understanding of cybersecurity problems and solutions
Experience with modern software development tools and practices
Self-starter and ability to manage time and technical tasks independently without direct supervision

Desired Qualifications:

MS or PhD degree in related technical field
Experience with cryptography and formal methods applied to cryptography
Experience writing peer-reviewed technical papers
Experience giving presentations to technical peers and leaders

Global Comp

$113,400- $210,600 This represents the typical salary range for this position based on experience, location and other factors.

Closing Statement

Riverside Research Institute is a not-for-profit, technology-oriented defense company, where service to our customers and support of our staff is our overall mission. Riverside is an affirmative action-equal opportunity employer and complies with all applicable federal, state, and local laws regarding recruitment and hiring. Riverside offers comprehensive compensation and benefit packages to our employees.
Riverside bases its employment decisions solely on technical experience, qualifications and other job-related criteria related to our organizational purpose as a not-for-profit company, and without regard to race, color, religion, age, sex marital status, sexual orientation, national origin, physical or mental disability, veteran's status or any other status legally protected by applicable federal, state, and local law.

Riverside Research is an equal opportunity employer. We recruit, employ, train, compensate, and promote without regard to race, religion, creed, color, national origin, age, gender, sexual orientation, marital status, disability, veteran status, or any other basis protected by applicable federal, state and local law.

Job Summary

Employment Type:
Full Time Employee
Job type:
Federal Contractor
Skill Based Partner:
Education Level:
Bachelor's degree
Work Days:
Mon, Tue, Wed, Thu, Fri
Job Reference Code
Licenses / Certifications:
Display Recommended WorkKeys®Recommended WorkKeys®:
Applied Math: 5
Graphic Literacy: 6

Workplace Documentation: 5