Formal Methods Intern: Systems Verification & R&D
-
Research/Development
Research Scientist, Research Assistant/Associate
Job Description & How to Apply Below
Riverside Research in Lexington, MA is seeking a Formal Methods Research Intern to support the specification and verification of systems-level software within the Secure and Resilient Systems group. U.S.
citizenship is required, with a paid internship offering hands-on experience in formal methods and verification techniques. You will collaborate with engineers on national security research projects, applying rigorous methods to real-world software problems and contributing to prototype
As a Formal Methods Intern:
Systems Verification & R&D, you will play an important part at First Roles in Lexington, MA, United States.
Learn more about the Formal Methods Intern:
Systems Verification & R&D role in the description above.
We appreciate your interest in this position.
Join First Roles and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).