Formal Methods Research Intern
riversideresearch is hiring for Formal Methods Research Intern in Lexington, MA, US. Intern level. First seen October 7, 2026; open as of November 12, 2026. Jobs taken straight from company career pages — no aggregator in between.
With Destava: How well do you fit? · Tailor my résumé · Write a cover letter
- Company
- riversideresearch
- Where
- Lexington, MA, US
- Level
- Intern
- First seen
- October 7, 2026
- Listed via
- iCIMS
What the posting says
This role offers the opportunity to work alongside a team of experienced computer scientists and cybersecurity professionals on cutting-edge research initiatives. This position will focus on establishing meaningful cyber and systems security properties. Throughout the internship, you will gain hands-on experience with and develop a deep understanding of formal methods, building valuable skills in secure systems development. This position can be located in either Lexington, MA or Beavercreek, OH and is for the summer of 2027. Responsibilities - Develop technical fluency in formal methods for…
Read more and apply on riversideresearch's site
More jobs like this
Frontier AI Research Principal
Save to applyResearch Geneticist
Save to applyApplied Researcher 5
Save to applyChapter Lead - Responsible AI, Agentic AI
Save to apply
See all 2,407 Computer and Information Research Scientists jobs
A search agent finds the jobs this list misses: the ones that mean the same without the same words. Have Destava watch for formal methods research intern jobs in Lexington, MA, US, new matches every morning on your own account.
This page includes information from the O*NET 31.0 Database by the U.S. Department of Labor, Employment and Training Administration (USDOL/ETA). Used under the CC BY 4.0 license. O*NET® is a trademark of USDOL/ETA.