col-wideJob Description:
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 either 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.
Primary Responsibilities:
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
Basic Qualifications:
Typically requires a degree in Science, Technology, Engineering or Mathematics (STEM) unless prohibited by local laws/regulations and minimum 10 years prior relevant experienceoran Advanced Degree in a related field and minimum 7 years of experienceorin absence of a degree, 14 years of relevant experience
Italy permanent resident or citizen of Italy
Demonstrated engineering skills, including using formal methods and/or assurance technologies
Demonstrated leadership skills (e.g., successfully leading project teams)
Preferred Qualifications:
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