Job Information
RTX Corporation Senior Manager, Research – Formal Methods F/H in Blagnac, France
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.
RTX Corporation
-
- RTX Corporation Jobs