Trusted Methods Graduate Intern (Summer 2026)(Remote)

Date Posted:

2025-08-28

Country:

United States of America

Location:

HFL99: Field Office - FL Remote Location, Remote City, FL, 32301 USA

Position Role Type:

Remote

U.S. Citizen, U.S. Person, or Immigration Status Requirements:

Must be authorized to work in the U.S. without the company’s immigration sponsorship now or in the future. The company will not offer immigration sponsorship for this position.​ The company will not seek an export authorization for this role.

Security Clearance:

None/Not Required

Are you ready to explore the world of aerospace and defense? Do you want to learn from and collaborate with some of the greatest minds in the industry? At RTX, our internships, co-ops, and full-time careers provide an exceptional foundation to work on complex problems, advance your skills and create a safer, more connected world. Discover opportunities to make a difference at RTX. 

At Collins Aerospace Applied Research & Technology (ART) we are accelerating the adoption of transformative technologies in Collins Aerospace businesses: we are redefining aerospace today!

We are seeking a visionary, action-oriented graduate student intern to develop the next generation of advanced formal methods algorithms, tools, and technologies as part of a team that develops rigorous methods for critical, embedded, and cyber-physical systems.

The Trusted Methods Team is part of the Collins Aerospace Advanced Model Based Engineering Methods Department, within the Applied Research and Technology organization and works with Collins product teams and external research sponsors to extend both the state of the art and the state of the practice of cyber physical and embedded systems development. 

The Trusted Methods Graduate Student Intern will join a team that is developing novel methods, algorithms, and tools to provide product discrimination and enable the development of the next generation of Collins systems and products.  Current investigations create and demonstrate methods and tools for embedded and cyber physical system development that leverage technologies including architectural modeling and analysis, automated safety analysis, model-checking, automated theorem proving, language development, high assurance microkernels, SAT and SMT solvers, assured hardware/software generation, language translation, and mathematical specification.

This is a remote position in the U.S. The candidate will be part of a talented and geographically distributed team across the United States, Europe, and India.

What You Will Do:

You will work with a project team in one or more of the following areas:

• You will support the definition of trustworthiness of Learning-Enabled Increasingly Autonomous Systems (LEIAS) by combining both the engineering and the human perspectives.
• You will support the application of formal methods to reason about the trustworthiness of human-in-the-loop Learning-Enabled Increasingly Autonomous System (LEIAS).
• You will support the development of benchmark Avionics use cases to evaluate formal methods technologies.

What You Will Learn:

• You will learn how formal methods are used in industry.
• You will learn the overview of ongoing research in formal methods.
• You will gain an understanding of the aerospace and defense industry.

Qualifications You Must Have:

• Requires a High School Diploma or equivalent and student must be pursuing a Bachelor’s or advanced degree in an applicable discipline.

Qualifications We Prefer:

• Enrolled in a graduate program in a related field (e.g., Computer Science, Engineering, or Mathematics).
• Strong programming skills (e.g., Java, C++, Python).
• One plus semesters’ experience using formal methods tools (e.g., Coq, Z3, JKind).
• Familiarity with key concepts in Machine Learning and familiarity with key concepts in Human-Machine Interface (HMI).
• Experience with Model-based Engineering and with Autonomous Systems or Avionics Systems (e.g., design, verification).

Learn More and Apply Now!

The next chapter of our future as an aerospace company is here, and we are excited about what this means for our employees and customers! Get onboard the Collins Aerospace Operations team and play a part in managing our innovative products from inception to delivery. The Operations team continues to grow and aims to strengthen the connection of Manufacturing Operations, Supply Chain and Environment, Health & Safety (EH&S) across Collins Aerospace. In this dynamic environment, you will have