Formal Methods Intern (Spring 2025)
Analytical Mechanics Associates•Hampton, VA
470d
This job is no longer available
There are still lots of open positions. Let's find the one that's right for you.
About The Position
The Formal Methods Intern position at Analytical Mechanics Associates, Inc. (AMA) is designed for undergraduate or graduate students to support the Formal Methods group at the Hampton, VA branch. The intern will engage in various formal-verification tasks, including the analysis of numerical programs and the application of AI-based techniques to the verification process. This role offers an opportunity to contribute to the efforts of both AMA and the NASA Langley Research Center's Formal Methods Team, fostering a collaborative and innovative work environment.
