Senior Formal Methods Engineer (onsite)

Date Posted:

2025-01-27

Country:

United States of America

Location:

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

Position Role Type:

Onsite

Are you interested in joining a talented global team that drives innovation in formal methods development with application to safety- and security-critical aerospace and defense systems? If so, then this is the job for you!

 

We are seeking a visionary, action-oriented engineer 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 Senior Formal Methods Engineer 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:

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

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

• The candidate will work on projects related to one or more of the following areas: (1) Method and tool enhancements for user-friendly, scalable formal methods for software engineers; (2) Secure system design, including secure architecture design leveraging zero trust principles; or (3) Cyber hardening of mixed reality systems through the use of formal methods

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

 

Qualifications You Must Have:

• Typically requires a degree in Science, Technology, Engineering or Mathematics (STEM) and minimum 5 years prior relevant experience or an Advanced Degree in a related field and minimum 3 years of experience or in absence of a degree, 9 years of relevant experience

• U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance

• Must have or be capable of obtaining a US Department of Defense (DoD) security clearance.  Candidate selected will be subject to a government security investigation/reinstatement and must meet eligibility requirements 

• 1+ year experience using formal methods or mathematical proof techniques

 

Qualifications We Prefer:

• Advanced degree (master’s or Ph.D.)

• Active U.S. government issued security clearance

• 3+ year experience using formal methods tools (e.g., model checkers, SAT and SMT solvers, theorem provers)

• Prior experience and familiarity with principles of safety critical and security critical system design, cybersecurity, information assurance

• 3+ years experience writing programs using languages such as Java, Rust, C/C++ and Python

• Embedded system design and implementation

• 1+ year experience with tool prototype implementation and/or tool integration and automation solutions (e.g., CI/CD, GitHub/GitLab workflows, AWS)

• Experience with model-based engineering (e.g., SysML, Simulink, AADL)

• Experience with assurance of autonomous systems or machine learning

 

The Trusted Methods Team is part of the Collins Aerospace Advanced Model Based Engineering 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. 

 

What We Offer:

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!  

 

Learn More and Apply Now:

 

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

 

At Collins Aerospace Applied Research & Technology (ART) we are accelerating the adoption of transformative technologies in Collins Aerospace businesses: we are redefining aerospace today!

 

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. 

The salary range for this role is 82,000 USD - 164,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