Job Description

Overview: This position is for the Applied Research & Technology - Emerging Technologies team and requires prior experience working in research and development of Formal Methods solutions. Prior experience in Aerospace & Defense industry is a plus. Objectives of this Role

• Manage and direct research and development (R&D) and processes to meet the needs of our Aerospace & Defense products
• Understand company and customer challenges and how integrating Formal Methods capabilities can help create solutions that solve these challenges

Daily and Monthly Responsibilities

• Work on functional design, process design (including scenario design, flow mapping), prototyping, testing, training, and delivering solutions to the customer
• Document and articulate solution architecture and lessons learned for each exploration and accelerated incubation
• Serve as liaison between stakeholders and project teams, delivering feedback and enabling them to make necessary changes to product performance or presentation

Required Skills and Qualifications

• Masters or PhD degree in Computer Science with specialization in Formal Methods
• 3+ years of experience in applying Formal Methods to practical and comprehensive technology solutions
• Experience in Model Checking
• Experience in Java & Python
• Knowledge of basic algorithms, object-oriented and functional design principles, and best practice patterns
• Experience in building Formal Methods applications with Microservices and REST API
• Experience with deployment on Cloud

Preferred Qualifications

• Experience working with Kubernetes, Kafka, Elastic Search etc.
• Experience working with Innovation Accelerators & Startups
• Experience with Academia and Research Institutions

Collins Aerospace, a Raytheon Technologies company, is a leader in technologically advanced and intelligent solutions for the global aerospace and defense industry. Collins Aerospace has the capabilities, comprehensive portfolio and expertise to solve customers’ toughest challenges and to meet the demands of a rapidly evolving global market. Avionics: Our Avionics team advances aviation electronics and information management solutions for commercial and military customers across the world. That means we’re helping passengers reach their destination safely. We’re connecting aircraft operators, airports, rail and critical infrastructure with intelligent data service solutions that keep passengers, flight crews and militaries connected and informed. And we’re providing industry-leading fire protection and safety systems that our customers can count on when it matters most. Are you ready to learn from the most knowledgeable experts in the industry, develop the technologies of tomorrow and reach new heights in your career? Join our Avionics team today. We make modern flight possible for millions of travelers and our military every second. Our major product lines are on-board virtually every aircraft flying. Be it keeping passengers safe with our emergency power generation systems or creating a positive in-flight experience through reliable cabin pressure controls and quieter engines, Power & Controls focuses on delivering a best-in-class experience to our customers. We hire the top people in the industry. Their ideas drive our performance, and their integrity keeps our customers happy. Join us as we take flight! Collins Aerospace Diversity & Inclusion Statement: Diversity drives innovation; inclusion drives success. We believe a multitude of approaches and ideas enable us to deliver the best results for our workforce, workplace, and customers. We are committed to fostering a culture where all employees can share their passions and ideas so we can tackle the toughest challenges in our industry and pave new paths to limitless possibility. WE ARE REDEFINING AEROSPACE. Some of our competitive benefits package includes:

• Group Term Life Insurance.
• Group Health Insurance.
• Group Personal Accident Insurance.
• Entitled for 22 days of vacation and 7 days of contingency leave annually.
• Employee scholar program.
• Work life balance.
• Car lease program.
• National Pension Scheme
• LTA
• Fuel & Maintenance /Driver wages
• Meal vouchers
• And more!

Nothing matters more to Collins Aerospace than our strong ethical and safety commitments. As such, all India. positions require a background check, which may include a drug screen. Note:

• Background check and drug screen required

At Collins, the paths we pave together lead to limitless possibility. And the bonds we form – with our customers and with each other - propel us all higher, again and again.
Apply now and be part of the team that’s redefining aerospace, every day.