About the role#
The Cyber and Mission Technology Department is seeking a graduate intern to conduct fundamental research in formal methods applied to self-healing systems. You will work with department leadership to develop deterministic mathematical and logical guarantees for real-time generated patches. This role focuses on creating high-impact research that helps improve cybersecurity for defense and civil space missions.
What you'll do#
- Create novel research in formal methods and build functional demonstrations.
- Conduct literature reviews on computationally viable formal methods.
- Develop prototypes to illustrate your research findings.
- Prepare and deliver presentations for a variety of audiences.
What you'll need#
- Current full-time enrollment in a Master’s or Ph.D. program in mathematics, logic, computer science, electrical engineering, computer engineering, or a related field.
- A completed Bachelor’s degree by the start of the internship.
- Hands-on experience with formal methods.
- A minimum GPA of 3.0.
- Availability to work full-time on-site for at least 10 weeks.
- Ability to return to your degree program full-time after the internship.
- Willingness to publish research in a peer-reviewed journal.
- U.S. citizenship and the ability to obtain and maintain a security clearance.
- Submission of academic transcripts.
Location & details#
This is a paid, full-time, on-site internship. Positions are available in El Segundo, CA; Huntsville, AL; Houston, TX; Colorado Springs, CO; Chantilly, VA; Cape Canaveral AFS, FL; and Albuquerque, NM. The internship term is rolling.
About The Aerospace Corporation
The Aerospace Corporation operates as a nonprofit organization focused on space research and technology. Founded in 1960, the company provides technical expertise for national space programs and national security systems. It maintains a workforce of over 5,000 employees across offices in Virginia and California. The firm specializes in areas including launch vehicles, artificial intelligence, and space policy.
How to get in at The Aerospace Corporation
Applying early to The Aerospace Corporation gives you a distinct advantage because recruiters review applications before the volume becomes unmanageable. Intern Insider sends an instant alert the moment a role matching your target is published, ensuring you are among the first to submit your materials. This proactive approach helps you stay ahead of the crowd when positions open. You can also improve your response rates by reaching out to the people actually managing the hiring process. Intern Insider surfaces the recruiters behind the roles at The Aerospace Corporation, allowing you to contact them directly to ask about the position or a potential referral. This direct connection often proves more effective than submitting your resume into a general queue.
