Trusted Systems Graduate Intern (Summer 2020)

Trusted Systems Graduate Intern (Summer 2020)


Collins Aerospace is a leader in technologically advanced and intelligent solutions for the global aerospace and defense industry. Created in 2018 by bringing together Rockwell Collins and UTC Aerospace Systems, 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.

The Trusted Systems research group seeks a self-motivated graduate student intern pursuing study in the area of pioneering and applying mathematically rigorous methods to critical embedded systems. The position is within a Collins Aerospace research and development organization. The Trusted Systems research group works with both product groups and external research sponsors to extend both the state of the art and the state of the practice for methods to construct trusted computer-based systems.

Ongoing projects include autonomous system verification, cyber-resilience research, automation of commercial avionics certification activities, and other domains relevant to Collins Aerospace and amenable to increased rigor in its development processes. In addition to strong basic software engineering skills, the successful graduate intern candidate has the potential to contribute to ongoing projects, and should have experience or interest in some of the underlying relevant technologies such as:

  • architectural modeling and analysis
  • automated safety analysis
  • model-checking
  • automated theorem proving
  • language development
  • high assurance microkernels
  • SMT solvers
  • assured hardware/software generation
  • automated vulnerability detection
  • mathematical specification

Theinternwill work with the Trusted Systems research team to develop and demonstrate new methods for gaining assurance

Basic Qualifications

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

Requires permanent residency (green card) or US citizenship.

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 that’s redefining aerospace, every day.

United Technologies Corporation is An Equal Opportunity/Affirmative Action Employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability or veteran status, age or any other federally protected class.

Privacy Policy and Terms:

Click on this link to read the Policy and Terms

Note to candidates regarding interview scams: We’d like to make it clear that UTC Aerospace Systems never asks candidates for money. If you’ve been approached with a job offer that you suspect may be fraudulent, we strongly recommend you do not respond, send money or personal information. Please report any suspicious activity to Talent Acquisition.

APPLY NOW

View page here

Skills

Posted on

September 24, 2019