Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
About The Position
Analytical Mechanics Associates (AMA) is currently accepting applications for a motivated intern to support research in formal methods for safety‑critical aerospace systems. The intern will contribute to efforts conducted jointly with NASA Langley Research Center’s Formal Methods Team, exploring mathematically rigorous verification techniques to improve the reliability, safety, and correctness of aerospace software and algorithms. This internship focuses on applied research involving formal methods tools widely used by the NASA Formal Methods team, including PVS, VSCode-PVS, PRECiSA, and Kodiak. Work may include prototyping experimental workflows, evaluating tool capabilities, exploring verification approaches, or assisting with modeling and reasoning tasks relevant to real NASA systems. AMA is seeking applicants with entrepreneurial spirit who are organized, technically curious, and willing to accept responsibility. The intern will work collaboratively with NASA LaRC's Formal Methods researchers and AMA’s Formal Methods Group, participating in regular research meetings and contributing to ongoing investigations. Applicants should be a junior or senior undergraduate or a graduate student. In addition to completing the application on our website (www.ama-inc.com/careers), candidates selected for an interview will be required to provide two or more references. This internship is for Summer 2026, for a 10‑week period, starting on Monday, June 1, 2026. On-site work at NASA Langley Research Center in Hampton, VA is requested of candidates who meet the facility requirement of U.S. Citizenship or Permanent Residency. For candidates authorized to work in the U.S. who do not meet facility access requirements, remote work will be considered. Pay for this position is $23.10 – $33.50, depending on education and location.
Requirements
- Completion of at least three years of an undergraduate degree in Mathematics, Computer Science, or a related technical field.
- Strong technical communication skills (written and verbal), with the ability to convey complex concepts clearly.
- A self‑starter attitude, organizational skills, and the ability to work both independently and collaboratively.
- Authorization to work in the U.S. is required.
Nice To Haves
- Completion of a bachelor’s degree in Mathematics, Computer Science, or a related technical field.
- Graduate‑level coursework or research experience in areas such as formal methods, logic, algorithms, programming languages, or numerical analysis.
- Experience with formal methods tools (for example, PVS, other theorem provers, or static analysis frameworks).
- Published proposal, research paper, technical report, or conference presentation.
Responsibilities
- Assist AMA’s Formal Methods Group and the NASA LaRC Formal Methods Team with applied research in formal verification techniques for safety‑critical aerospace systems.
- Contribute to investigations involving specification, theorem proving, static analysis, and formal reasoning using tools such as PVS, VSCode-PVS, PRECiSA, and Kodiak.
- Support the development, assessment, or refinement of formal methods workflows and research prototypes.
- Participate in regular research meetings and communicate technical findings to a multidisciplinary team.
Benefits
- competitive salaries
- substantial benefits package
- paid personal and federally recognized holiday leave
- salary deferrals into a 401(k)-matching plan with immediate vesting
- tuition reimbursement
- short/long term disability plans
- variety of medical, dental, and vision insurance options
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Career Level
Intern
