Computer Science – Grad Student Co-Op(Spring/Summer 2023)(Remote)


Cedar Rapids, IA

Apply Now

Date Posted:



United States of America


HIA32: Cedar Rapids, IA 400 Collins Rd NE , Cedar Rapids, IA, 52498-0505 USA

Position Role Type:


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 building a diverse and global team and we are seeking a visionary, action-oriented graduate student co-op 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 team is part of the Collins Aerospace Advanced 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 Co-Op 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.

This is a seven month co-op beginning January 2023. This is a remote position within the United States.

Primary Responsibilities:

  • Model Based Safety/Security Analysis tool development to support different modeling environments or user interfaces, connect to different analysis tooling, display the output in the desired form, and/or improve automation

  • Interact with engineering customers to understand requirements

  • Support tool deployment and documentation

Basic Qualifications:

  • Bachelor’s degree in a related field

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

  • Effective communication and presentation skills in English (verbal and written)

  • Must be authorized to work in the U.S. without sponsorship now or in the future. Collins Aerospace will not offer sponsorship for this position

Preferred Qualifications:

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

  • Strong communication skills

  • Prior experience working with model-based system design languages (e.g., Simulink, SysML, Architecture Analysis and Design Language (AADL)).

  • Familiarity with cyber security and/or safety-critical systems

  • Interest or prior experience working with formal methods

  • Experience with tool prototype implementation and tool integration and automation solutions

  • Experience with agile methods and software development (SAFe, SCRUM, …)

Nothing matters more to Collins Aerospace than our strong ethical and safety commitments. As such, all U.S. positions require a background check, which may include a drug screen.


  • Background check and drug screen required (every external new hire in the U.S.)

  • Drug Screen only performed on re-hires who have been gone for more than 1 year

Diversity drives innovation; inclusion drives success. We believe a multitude of approaches and ideas enable us to deliver the best results for our workforce, workplace, and customers. We are committed to fostering a culture where all employees can share their passions and ideas so we can tackle the toughest challenges in our industry and pave new paths to limitless possibility.


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.

Raytheon Technologies 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