Date Posted:

2024-05-09

Country:

United States of America

Location:

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

Position Role Type:

Remote

The Formal Methods Sr. Principal Engineer will develop 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 US, Europe and India.

This individual will work remote.

Primary Responsibilities:

Explore, develop, and apply formal algorithms and tools for the verification and validation of systems and software

Market innovative technology offerings to external technology customers, both aligning technology development with customer priorities and influencing technology customer interests

Mentors and advises others, sharing an in‐depth understanding of company and industry methodologies, policies, standards, and controls

Mature and transition transformative technologies to industrial business units bridging the gap between exploratory research and industrial application

Support the development of the Trusted Methods team strategy working with the Trusted Methods discipline leader and the Advanced Methods department leader

Manage project execution

Interface with internal and external customers, serving as Principal Investigator on projects and programs

Must be willing and able to travel 10% of the time

Basic Qualifications:

Typically requires a degree in Science, Technology, Engineering or Mathematics (STEM) unless prohibited by local laws/regulations and minimum 10 years prior relevant experience or an Advanced Degree in a related field and minimum 7 years of experience or in absence of a degree, 14 years of relevant experience 

U.S. Person (U.S. citizen, permanent resident, refugee or asylee) or eligible to obtain necessary export authorizations required

Demonstrated engineering skills, including using formal methods approaches

Preferred Qualifications:

Demonstrated ability to formulate, market, and lead successful and useful research projects

Experience in developing safety- or security-critical cyber physical systems methods

Advanced Degree (MS, PhD) in an appropriate technical discipline

Experience with software tool architecture definition, tool prototype implementation and tool integration and automation solutions

Full product cycle development experience for cyber-physical systems

5+ years experience with aerospace and defense products

Collins Aerospace, an 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. 

Collins Aerospace makes modern flight possible. Of course, that wouldn’t be possible without the capabilities and technologies of our organization, as well as our engineers – a highly skilled, accomplished network that spans more than 180 sites, 24 countries and 6 Strategic Business Units (SBUs).  

Our industry-leading experts are setting the standards for the aerospace industry and paving the way for the future. But as new challenges present themselves, we need fresh, creative and motivated minds to overcome these hurdles, help us break barriers and achieve new levels of innovation. Do you have what it takes to join a global, diverse organization that doesn’t shy away from big opportunities? If so, we invite you to join our ranks and create the next generation of aerospace technologies.  

Together, we will nurture an engineering culture that values intellectual curiosity, risk takers and integrity. A place where we will challenge ourselves, our teams, and the status quo and where we will work to find a way – the right way – to achieve what others can only dream of. 

#reempowerprogram

This role is also eligible for the Re-Empower Program. The Re-Empower Program helps support talented and committed professionals as they rebuild their capabilities, enhance leadership skills, and continue their professional journey. Over the course of the 14-week program, experienced professionals will gain paid, on-the-job experience, have an opportunity to participate in sessions with leadership, develop personalized plans for success and receive coaching to guide their return-to-work experience. Upon completion of the program, based on performance and contributions participants will be eligible for a career at RTX.

Minimum Program Qualifications

To qualify for the Raytheon Technologies, Re-Empower Program, candidates should: • Be on a career break of one or more year at time of application • Have prior experience in functional area of interest • Have interest in returning in either a full-time or part-time position

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.  

* Please consider the following role type definitions as you apply for this role. 

Remote: Employees who are working in Remote roles* will work primarily offsite (from home).  An employee may be expected to travel to the site location as needed.  

*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. 

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. 

Some of our competitive benefits package includes:   

Medical, dental, and vision insurance  

Three weeks of vacation for newly hired employees  

Generous 401(k) plan that includes employer matching funds and separate employer retirement contribution, including a Lifetime Income Strategy option  

Tuition reimbursement program 

Student Loan Repayment Program  

Life insurance and disability coverage  

Optional coverages you can buy: pet insurance, home and auto insurance, additional life and accident insurance, critical illness insurance, group legal, ID theft protection 

Birth, adoption, parental leave benefits 

Ovia Health, fertility, and family planning  

Adoption Assistance           

Autism Benefit  

Employee Assistance Plan, including up to 10 free counseling sessions  

Healthy You Incentives, wellness rewards program 

Doctor on Demand, virtual doctor visits  

Bright Horizons, child and elder care services 

Teladoc Medical Experts, second opinion program  

 And more!  

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.  

The salary range for this role is 118,000 USD - 246,000 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 candidate’s 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 company’s 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/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