Senior Manager, Research - Formal Methods / Senior Manager en Méthodes Formelles

Date Posted:

2025-03-26

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 lead its new Assurance Technologies Group. The Assurance Technologies Group includes multiple specialties: theorem proving, abstract interpretation, assurance cases, and evidence management. This new technology group is part of 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 geographically distributed team across the US, Europe, and India.

The Formal Methods Sr. Manager will lead a small engineering group (4-8 engineers), serving as their direct manager. The candidate will 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 candidate will also develop and execute a strategy for growing our external R&D funding in Europe.

This position will be based in one of the following locations: Blagnac, France; Rome, Italy; or Trento, Italy.

It is a hybrid position, meaning the individual will work regularly both onsite and offsite. Ratio of time working onsite will be determined in partnership with your leader.

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
• Mentor and advise 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 MBE 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
• Develop and execute a strategy for growing our external R&D funding in Europe
• Must be willing and able to travel up to 20% of the time

Qualifications You Must Have:

• 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
• EU citizen or EU long-term resident
• Excellent communication in English

Qualifications We Prefer:

• 2+ years’ experience leading teams (direct/indirect) or leading project teams
• 3+ years’ experience using formal methods and/or assurance technologies
• 2+ years’ experience marketing and leading 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

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

RTX adheres to the principles of equal employment. All qualified applications will be given careful consideration without regard to ethnicity, color, religion, gender, sexual orientation or identity, national origin, age, disability, protected veteran status or any other characteristic protected by law.

Privacy Policy and Terms:

Click on this link to read the Policy and Terms

Summary

• Location: Blagnac, France; PIAZZA INDIPENDENZA 23 B/C - ROMA (RM), Italy; Via Praga, 5, 38121 Trento TN, Italia
• Type: Full time