System Engineering Intern (Summer 2026) (Onsite)

Date Posted:

2025-08-19

Country:

United States of America

Location:

HTN99: Field Office - TN Remote Location, Remote City, TN, 37201 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

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 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 position is remote; however, if you live within a reasonable commute of a Collins site with other colleagues you interact with, your manager will discuss whether there is a degree of onsite presence associated with this role.

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 candidate will be part of a diverse and geographically distributed team across the United States, Europe, and India.

What You Will Do:

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

• Method and tool enhancements for user-friendly, scalable formal methods for software engineers

• Secure system design, including secure architecture design leveraging zero trust principles

• Cyber hardening of mixed reality systems through the use of formal methods

What You Will Learn:

• How formal methods are used in industry

• Overview of ongoing research in formal methods

• Gain an understanding of the aerospace and defense industry

Qualifications You Must Have:

• Enrolled in a graduate program in a related field (e.g., Computer Science, Engineering, or Mathematics)

Qualifications We Prefer:

• Strong programming skills (e.g., Java, C++, Python)

• 1+ semesters’ experience using formal methods tools (e.g., Coq, Z3, JKind)

• 1+ semesters’ experience with tool prototype implementation and/or tool integration and automation solutions

• Familiarity with principles of secure system design

• Experience with model-based engineering

Learn More and Apply Now!

Collins Aerospace, a RTX company, is a leader in technologically advanced and intelligent solutions for the global aerospace and defense industry. Collins Aerospace has the capabilities, comprehensive portfolio and expertise to solve customers’ toughest challenges and to meet the demands of a rapidly evolving global market.

WE ARE REDEFINING AEROSPACE.

Regardless of your role type, collaboration and innovation are critical to our business and all employees will have access to digital tools so they can work with colleagues around the world – and access to Collins sites when their work requires in-person meetings.

At Collins, the paths we pave together lead to limitless possibility. And the bonds we form – with our customers and with each other -- propel us all higher, again and again.