2027 Formal Methods Researcher Graduate Intern

The Aerospace Corporation • Cape Canaveral, FL

10d • $32 - $38 • Onsite

About The Position

The Aerospace Corporation is hiring a Graduate Intern Researcher in Formal Methods for the Cyber and Mission Technology Department (CMTD) within the Information Systems and Cyber Division. CMTD conducts use-inspired basic research in full-stack cyber and reasoning. The intern will conduct fundamental research applying formal methods to self-healing systems: fault-tolerant architectures that explicitly account for malicious actors and intentional correlated failures. The internship focuses on developing novel formal-methods research that provides computationally viable deterministic mathematical or logical guarantees for real-time generated patches, with the aim of strengthening the cybersecurity position of defenders.

The selected candidate must work full-time on-site at an Aerospace facility in El Segundo, California; Chantilly, Virginia; Colorado Springs, Colorado; or another Aerospace location. Training and mentorship will be provided. The position requires the ability to obtain and maintain a U.S. government security clearance, for which U.S. citizenship is required.

Requirements

• Currently enrolled full-time in an accredited college or university program pursuing a master's or Ph.D. degree in mathematics, logic, computer science, computing and information systems, electrical engineering, computer engineering, or a related discipline.
• Available to work full-time for at least 10 weeks outside the university term and able to return to a master's or Ph.D. program full-time after the internship.
• Have completed a bachelor's degree by the internship start date.
• Hands-on experience with formal methods.
• Willingness to publish in a peer-reviewed journal.
• Minimum GPA of 3.0.
• Ability to obtain and maintain a U.S. government security clearance; U.S. citizenship is required to obtain one.
• Transcripts are required.
• Strong written and oral communication skills.
• Ability to work well in a team environment.
• Organizational, time-management, and project-management skills.
• Flexibility and ability to adapt to changing organizational needs.
• Interpersonal skills to coordinate efforts and work with internal and external organizations.

Nice To Haves

• Publications.
• GPA of 3.5 or higher.
• Active security clearance.

Responsibilities

• Work with CMTD leadership to create high-impact novel research in formal methods and functional demonstrations.
• Conduct literature reviews on computationally viable formal methods.
• Develop a prototype illustrating novel research.
• Create presentations for various audiences.

Benefits

• Comprehensive health care and wellness plans.
• Paid holidays, sick time, and vacation.
• Standard and alternate work schedules, including telework options.
• 401(k) plan with a company-paid benefit of 8%, 10%, or 12% of eligible compensation based on years of service, plus matching contributions; employees are immediately eligible and vested upon hire.
• Flexible spending accounts.
• Variable pay program for exceptional contributions.
• Relocation assistance.
• Professional growth and development programs.
• Education assistance programs.

What This Job Offers

• Job Type: Full-time
• Career Level: Intern