Computer Science – Graduate Student Intern(Summer 2023)(Remote)
Cedar Rapids, IA
Country:United States of America
Location:HIA32: Cedar Rapids, IA 400 Collins Rd NE , Cedar Rapids, IA, 52498-0505 USA
At Collins Aerospace Applied Research & Technology (A.R.T.) 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 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 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 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.
This is a Summer Internship beginning May/June 2023. This is a remote position within the United States.
Develop a software library for RexBDDs, and an API to work with the JKind model checker for automatic test case generation and test generalization
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
Familiarity with advanced data structures, decision diagrams, and model checking algorithms for temporal logic
Strong programming skills (e.g., Java, C++, Python)
Demonstrated engineering skills, including using formal methods approaches
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.
WE ARE REDEFINING AEROSPACE.
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.
Click on this link to read the Policy and Terms