Salary Not Available 2027 Formal Methods Researcher Graduate Intern

The Aerospace Corporation

Occupation:

Total other occupations

Location:

Albuquerque, NM - 87115

Job Type:

Internship, Full Time (30 Hours or More)

Posted:

09/15/2026

Positions available: 1

Source:

FileImport - The Aerospace Corporation

Web Site:

aero.wd5.myworkdayjobs.com

Expires:

11/13/2026

Job #:

R016552NM

Job Requirements and Properties

Help for Job Requirements and Properties. Opens a new window. Work Onsite

Full Time Schedule

Full Time Job Type

Internship

Job Description

Help for Job Description. Opens a new window. The Aerospace Corporation is the trusted partner to the nation's space programs, solving the hardest problems and providing unmatched technical expertise. As the operator of a federally funded research and development center (FFRDC), we are broadly engaged across all aspects of space- delivering innovative solutions that span satellite, launch, ground, and cyber systems for defense, civil and commercial customers. When you join our team, you'll be part of a special collection of problem solvers, thought leaders, and innovators. Join us and take your place in space. The Aerospace Corporation is hiring a Researcher in Formal Methods, Graduate Intern, for the Cyber and Mission Technology Department within the Information Systems and Cyber Division. Information Systems and Cyber Division (ISCD) staff couple the latest in information system technologies, such as elastic compute clouds, containerization, microservices, real-time operating systems, and visualization frameworks, with expertise in cyber security, software architecture, software engineering, data science, artificial Intelligence, process improvement, and software development to deliver responsive, resilient, high-performance software intensive systems to our IC, DoD, and civilian customers. The Cyber and Mission Technology Department (CMTD) focuses on use-inspired basic research encompassing full-stack cyber and reasoning. As an intern within CMTD, you will be involved in fundamental research in formal methods applied to self-healing systems. Self-healing systems are fault-tolerant architectures that explicitly account for malicious actors, baking in assumptions such as intentional correlated failures. This internship will focus on creating novel research in formal methods to develop computationally viable deterministic mathematical/logical guarantees for real-time generated patches. You will take an active part in shifting the cybersecurity landscape in favor of the defender. The selected candidate will be required to work full-time, on-site at our facility in El Segundo CA, Chantilly VA, Colorado Springs CO, and other Aerospace locations.

What You'll Be Doing

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 Duties, responsibilities and activities may change, or new ones may be assigned as needed Training and mentorship will be provided

WhatCorporateSkillsYou'll Bring

Strong written and oral communication skills. Must work well in a team environment. Possess organizational, time management and ...For full information see follow application link.

The Aerospace Corporation is an Equal Opportunity/Affirmative Action employer. We believe that a diverse workforce creates an environment in which unique ideas are developed and differing perspectives are valued, producing superior customer solutions. All qualified applicants will receive consideration for employment and will not be discriminated against on the basis of race, age, sex (including pregnancy, childbirth, and related medical conditions), sexual orientation, gender, gender identity or expression, color, religion, genetic information, marital status, ancestry, national origin, protected veteran status, physical disability, medical condition, mental disability, or disability status and any other characteristic protected by state or federal law. If you're an individual with a disability or a disabled veteran who needs assistance using our online job search and application tools or need reasonable accommodation to complete the job application process, please contact us by phone at 310.336.5432 or by email at ieo.mailbox@aero.org. You can also review The Equal Employment Opportunity is the Law and the supplement, as well as the Pay Transparency Policy Statement.