×
Register Here to Apply for Jobs or Post Jobs. X

Summer Intern — Formal Methods Safe Aerospace Systems

Remote / Online - Candidates ideally in
Bellevue, Sarpy County, Nebraska, 68123, USA
Listing for: Analytical Mechanics Associates
Seasonal/Temporary, Apprenticeship/Internship, Remote/Work from Home position
Listed on 2026-03-14
Job specializations:
  • Research/Development
  • Engineering
    Aerospace / Aviation / Avionics
Salary/Wage Range or Industry Benchmark: 10000 - 60000 USD Yearly USD 10000.00 60000.00 YEAR
Job Description & How to Apply Below
Position: Summer Intern — Formal Methods for Safe Aerospace Systems
A leading engineering firm is seeking a motivated intern to support research in formal methods for safety-critical aerospace systems. The role involves collaboration with NASA's team, focusing on applied research with tools like PVS and PRECiSA. Candidates should have at least three years in a related undergraduate program and possess strong communication skills. This internship will be from June 1, 2026, for ten weeks, requiring on-site presence at NASA Langley Research Center.

Remote work could be considered for some candidates.
#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).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary