Systems Engineering Intern (Summer 2026) (Onsite)

Date Posted:

Country:

Location:

Position Role Type:

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

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.

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)

• Bachelors degree in a related field

• U.S. Person (U.S. citizen permanent resident orgranted refugee or asylee status) as definedhere: 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

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

  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.

  Onsite: Employees who are working in Onsite roles will work primarily onsite. This includes all production and maintenance employees as they are essential to the development of our products.

  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.

  Apply now and be part of the team thats redefining aerospace every day.

  The salary range for this role is 37000 USD - 82000 USD. The salary range provided is a good faith estimate representative of all experience levels. RTX considers several factors when extending an offer including but not limited to the role function and associated responsibilities a candidates work experience location education/training and key skills.
  Hired applicants may be eligible for benefits including but not limited to medical dental vision life insurance short-term disability long-term disability 401(k) match flexible spending accounts flexible work schedules employee assistance program Employee Scholar Program parental leave paid time off and holidays. Specific benefits are dependent upon the specific business unit as well as whether or not the position is covered by a collective-bargaining agreement.
  Hired applicants may be eligible for annual short-term and/or long-term incentive compensation programs depending on the level of the position and whether or not it is covered by a collective-bargaining agreement. Payments under these annual programs are not guaranteed and are dependent upon a variety of factors including but not limited to individual performance business unit performance and/or the companys performance.
  This role is a U.S.-based role. If the successful candidate resides in a U.S. territory the appropriate pay structure and benefits will apply.
  RTX anticipates the application window closing approximately 40 days from the date the notice was posted. However factors such as candidate flow and business necessity may require RTX to shorten or extend the application window.

  RTX is an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race color religion sex sexual orientation gender identity national origin age disability or veteran status or any other applicable state or federal protected class. RTX provides affirmative action in employment for qualified Individuals with a Disability and Protected Veterans in compliance with Section 503 of the Rehabilitation Act and the Vietnam Era Veterans Readjustment Assistance Act.

  Privacy Policy and Terms:

  Click on this link to read the Policy and Terms