Senior Manager, Research – Formal Methods

Date Posted:

Country:

Location:

Position Role Type:

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

**********************************************************************************

L'équipe Trusted Methods chez Collins Aerospace est en pleine croissance et recherche un leader visionnaire et orienté vers l'action pour diriger son nouveau groupe Assurance Technologies.

Le groupe Assurance Technologies englobe plusieurs spécialités : démonstration par théorèmes, interprétation abstraite, dossiers d'assurance, et gestion des preuves. Ce nouveau groupe technologique fait partie de l'équipe Trusted Methods, qui développe la prochaine génération d'algorithmes, outils et technologies avancés de méthodes formelles pour les systèmes critiques, embarqués et cyber-physiques.

Le candidat dirigera une équipe géographiquement répartie entre les États-Unis, l'Europe et l'Inde. Le Senior Manager en Méthodes Formelles sera responsable d'une petite équipe d'ingénieurs (4-8 personnes) dont il sera le manager direct. Le candidat devra gérer les besoins en personnel, superviser l'exécution d'un portefeuille de programmes et diriger la réalisation d'un projet ou d'un programme dans le domaine des méthodes formelles/technologies d'assurance. Il développera également une stratégie pour augmenter les financements R&D externes en Europe.

Ce poste sera basé dans l'une des localités suivantes : Blagnac (France), Rome (Italie) ou Trento (Italie). Il s'agit d'un poste hybride, ce qui signifie que la personne travaillera régulièrement sur site et à distance. Le ratio entre le temps de travail sur site et à distance sera déterminé en partenariat avec son responsable.

Ce que vous ferez :

• Gérer une équipe d'ingénieurs expérimentés en tant que manager direct.

• Gérer les besoins en personnel et superviser la poursuite et l'exécution d'un portefeuille de programmes.

• Diriger la réalisation d'un projet ou programme dans le domaine des méthodes formelles/technologies d'assurance.

• Communiquer avec et influencer les clients externes de technologies et les fournisseurs d'outils, ainsi que les équipes internes de développement commercial, gestion de programmes et autres fonctions pour établir de nouvelles stratégies, programmes, pratiques et procédures.

• Encadrer et conseiller les autres, partageant une compréhension approfondie des méthodologies, politiques, normes et contrôles de l'entreprise et de l'industrie.

• Faire mûrir et transférer des technologies transformantes aux unités industrielles, en comblant le fossé entre la recherche exploratoire et l'application industrielle.

• Soutenir le développement de la stratégie de l'équipe Trusted Methods avec le leader de la discipline Trusted Methods et le leader du département Advanced MBE Methods.

• Développer les éléments clés de la stratégie de l'équipe Trusted Methods, en collaboration avec les responsables mentionnés.

• Interagir avec les clients internes et externes.

• Élaborer et exécuter une stratégie pour augmenter les financements externes en R&D en Europe.

• Être disposé à voyager jusqu'à 20 % du temps.

Qualifications requises :

• Diplôme en Science, Technologie, Ingénierie ou Mathématiques (STEM) sauf si interdit par les lois locales, et au moins 10 ans d'expérience pertinente, ou un diplôme avancé dans un domaine connexe et au moins 7 ans d'expérience, ou en l'absence de diplôme, 14 ans d'expérience pertinente.

• Citoyen de l'UE ou résident de longue durée dans l'UE.

• Excellente communication en anglais.

Qualifications souhaitées :

• 2+ ans d'expérience en gestion d'équipes (directe/indirecte) ou en gestion de projets.

• 3+ ans d'expérience dans l'utilisation de méthodes formelles et/ou technologies d'assurance.

• 2+ ans d'expérience en marketing et conduite de projets de recherche réussis.

• Expérience en tant qu'investigateur principal sur un programme financé par le gouvernement européen.

• Expérience dans le développement de méthodes pour systèmes cyber-physiques critiques en termes de sécurité ou sûreté.

• Diplôme avancé (MS, PhD) dans une discipline technique appropriée.

• Expérience dans la définition d'architectures d'outils logiciels, l'implémentation de prototypes d'outils, et les solutions d'intégration et d'automatisation d'outils.

• Expérience complète du cycle produit pour systèmes cyber-physiques.

• 5+ ans d'expérience avec des produits des secteurs aéronautique et défense.

L'équipe Trusted Methods fait partie du département Advanced MBE Methods de Collins Aerospace, au sein de l'organisation Applied Research and Technology. Elle travaille avec les équipes produit de Collins et les sponsors externes de recherche pour étendre à la fois l'état de l'art et l'état des pratiques de développement des systèmes embarqués et cyber-physiques.

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