Space Operations Intern: Formal Methods for Safe Proximity

Analytical Mechanics Associates is seeking a motivated intern to support research on the DAIDALUS framework related to space operations. The role involves collaboration with NASA on developing safety-critical algorithms for space scenarios. Requirements include at least three years of relevant undergraduate studies, programming experience, and strong communication skills. The internship starts in Summer 2026, with on-site work requested for eligible candidates and remote participation considered for others.
#J-18808-Ljbffr