ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Riverside Research
The Secure and Resilient Systems group at Riverside Research seeks a Formal Methods Research Intern to support the specification and verification of systems-level software. This role offers hands-on experience with formal methods and secure systems development, working alongside experienced computer scientists and cybersecurity professionals on cutting-edge research initiatives. The position focuses on establishing meaningful cyber and systems security properties and can be located in Lexington, MA or Beavercreek, OH for the summer of 2027.
Riverside Research is a not-for-profit chartered to advance research for the benefit of the US government. Through our open innovation concept, we invest in multi-disciplinary research and development and encourage collaboration to accelerate innovation and advance science in machine learning, trusted systems, optics and photonics, electromagnetics, plasma physics, radio frequency systems, and biomedical engineering.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Riverside Research.
Research Scientist – Cryptography with an interest in formal methods
riversideresearchinstitute.com
Senior Formal Methods Engineer
Draper
Founding Member of the Technical Staff - Formal Methods
Architect.dev
Formal Methods Engineer
Jane Street
Software Engineer, Formal Methods
Jane Street
Founding Member of the Technical Staff - Formal Methods
Architect.dev