Riverside Research seeks a DevOps Engineer/Linux Administrator to manage and secure Linux-based CI/CD infrastructure and support software deployments for DoD and IC networks at its Fairborn, OH facility.
Riverside Research’s Secure and Resilient Systems group is looking for a Formal Methods Research Intern to help specify and verify systems-level software using proof assistants and modern programming languages in Lexington, MA.