Formal Methods Researcher, Graduate Intern

. Conduct fundamental research in formal methods applied to self-healing systems .

Posted 9/15/2026internshipEl Segundo • Alabama • United StatesEntry Level💰 $32 - $38 per hourWebsite

Tools & technologies

Cyber Security

Key responsibilities & impact

Conduct fundamental research in formal methods applied to self-healing systems
Create novel research in formal methods to develop computationally viable deterministic mathematical/logical guarantees for real-time generated patches
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 prototypes illustrating novel research
Create presentations for various audiences
Take an active part in shifting the cybersecurity landscape in favor of the defender
Perform other duties and activities as assigned

What you’ll need

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 issued by the US government
U.S. citizenship required to obtain a security clearance
Transcripts required
Strong written and oral communication skills
Must 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 other internal and external organizations

Comp & perks

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
Training and mentorship will be provided