Aerospace Formal Methods Intern Safety-Critical Systems
Job in
Baltic, Minnehaha County, South Dakota, 57003, USA
Listed on 2026-03-14
Listing for:
Analytical Mechanics Associates
Apprenticeship/Internship
position Listed on 2026-03-14
Job specializations:
-
Research/Development
Job Description & How to Apply Below
Location: Baltic
A technology consulting firm is seeking a motivated intern for a summer 2026 internship focusing on formal methods in aerospace systems. You will work collaboratively with NASA researchers and contribute to research on verification techniques using tools like PVS and Kodiak. Candidates should be undergraduate juniors or seniors in Mathematics or Computer Science. This position offers hands-on experience in a dynamic environment with a competitive pay range of $23.10 – $33.50 per hour.
#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(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).
(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).
Search for further Jobs Here:
×