2027 Formal Methods Researcher Graduate Intern
About The Position
The Aerospace Corporation is seeking a Researcher in Formal Methods, Graduate Intern, for the Cyber and Mission Technology Department within the Information Systems and Cyber Division. This division focuses on applying cutting-edge information system technologies and expertise in cyber security, software architecture, software engineering, data science, artificial intelligence, process improvement, and software development to create resilient, high-performance software-intensive systems. The Cyber and Mission Technology Department specifically engages in use-inspired basic research in full-stack cyber and reasoning. As an intern, you will contribute to fundamental research in formal methods applied to self-healing systems, which are fault-tolerant architectures designed to withstand malicious actors and intentional correlated failures. This internship will involve creating novel research in formal methods to develop computationally viable deterministic mathematical/logical guarantees for real-time generated patches, aiming to enhance cybersecurity defenses.
Requirements
- Currently enrolled full-time in an accredited college/university program pursuing a Master’s or Ph.D. degree in mathematics, logic, computer science, computing and information systems, electrical engineering, computer engineering or related discipline
- Availability to work full-time for a minimum of 10 weeks outside of university term and ability to return to a Master's or Ph.D. degree program full-time after completion of the internship.
- Bachelor's degree completed by 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 security clearance, which is issued by the US government.
- U.S citizenship is required to obtain a security clearance.
- Transcripts required.
Nice To Haves
- Publications
- GPA 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 review on computationally viable formal methods
- Develop 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 — Employees receive a total company-paid benefit of 8%, 10%, or 12% of eligible compensation based on years of service and matching contributions; employees are immediately eligible and vested in the plan upon hire
- Flexible spending accounts
- Variable pay program for exceptional contributions
- Relocation assistance
- Professional growth and development programs to help advance your career
- Education assistance programs
- An inclusive work environment built on teamwork, flexibility, and respect
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Intern
