Date Posted:

2024-07-10

Country:

France

Location:

Blagnac, France

Position Role Type:

Unspecified

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

The Trusted Methods Discipline Team at Collins Aerospace is growing and is seeking a visionary, action-oriented leader to launch one of its new technology groups: Automated Reasoning and Assurance Technologies. The Automated Reasoning Group specializes in model checking and SAT/SMT. The Assurance Technologies Group includes multiple specialties: theorem proving, abstract interpretation, assurance cases, and evidence management. Both of these new technology groups are part the Trusted Methods Discipline Team, which develops the next generation of advanced formal methods algorithms, tools and technologies for critical, embedded, and cyber-physical systems. The candidate will lead a diverse and geographically distributed team across the US, Europe, and India.

The Trusted Methods Discipline 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.

Job Description

The Formal Methods Sr. Manager will lead a small engineering group (4-8 engineers), serving as their direct manager. The candidate will also manage staffing and oversee execution of a portfolio of programs and will lead the execution of a project or program in the formal methods/assurance technologies domain. The successful candidate will have experience working with one or more formal methods techniques (model checking, theorem proving, abstract interpretation) and/or automated assurance case approaches.

This position will be based in Blagnac, France. It is a hybrid position, meaning the individual will work regularly both onsite and offsite.

What you will do :

• Manage a group of experienced engineers, serving as their direct manager

• Manage staffing and oversee pursuit and execution for a portfolio of programs

• Lead the execution of a project or program within the formal methods/assurance technologies domain

• Communicate with and influence external technology customers and tool vendors, as well as internal business development, program management, and other functions as required to establish new pursuits, programs, practices, and procedures

• 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

• Develop key elements of the Trusted Methods team strategy, working with the Trusted Methods discipline leader and the Advanced Methods department leader

• Interface with internal and external customers, serving as Principal Investigator on a project or program

• Must be willing and able to travel up to 20% of the time (international)

  Qualification you must have:

• Degree in Science, Technology, Engineering or Mathematics (STEM) 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

• Demonstrated engineering skills, including using formal methods and/or assurance technologies.

• Demonstrated leadership skills (e.g., successfully leading project teams)

• Fluent in English

  Qualifications we prefer :

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

• Experience as a Principal Investigator on a European government-funded program

• 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

  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 (http://www.rtx.com/privacy/Job-Applicant-Privacy-Notice) to read the Policy and Terms

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.