General Electric Research Engineer - Validation & Verification - Aviation Research in Niskayuna, New York
Job Description Summary
As a Research Engineer - Validation & Verification in the High Assurance Systems organization, you will develop and implement technologies that advance the state of the art in technology that enables efficient verification of embedded control software in safety critical applications, some of which may include AI.
Aviation Research will continue to play a vital role in supporting the industry through a historic recovery while shaping the future of flight. We invent the future of flight, lift people up and bring them home safely. Our commitment to lead the industry, to keep safe the flying public and the armed forces, and to lift up one another and our communities, remains our north star. Our purpose is what ties us to one another and gives meaning to our work.
You will lead innovative research projects that define and implement software tools that improve the development of real-time embedded systems including advanced technologies for integrated modeling, simulation, and verification.
In this position, you will:
Design and develop tools to model and analyze specifications, systems, and embedded software.
Develop technology and tools to verify and trust AI and autonomous systems.
Develop technology and tools to support automated assurance case analysis.
Develop AI algorithms to guide test generation for verification of complex safety critical systems.
Conceive and develop strategic initiatives for the simplification and implementation of embedded software development, formal verification and test, with an emphasis on formal methods and SMT solvers using state of the art software development tool-suites.
Initiate and drive new technology capabilities in real-time, embedded control software development, formal verification and test.
Provide mentoring and development of staff members in the organization to grow the technical capability and knowledge of the organization with respect to Formal Methods and Validation & Verification technologies.
Develop and maintain strategic relationships with internal and external organizations to accelerate and expand the ability to deliver new technology to our business customers.
PhD in Electrical, Controls, Computer Engineering or related discipline, OR Master’s degree in Electrical, Controls, Computer Engineering or related discipline with a minimum of 4 years of relevant work experience OR Bachelor’s Degree in Electrical, Controls, Computer Engineering or related discipline with a minimum of 10 years of relevant work experience
Demonstrated core expertise with Formal Methods and V&V technologies
Experience with embedded software development tools such as Eclipse, CVC4, or Kind 2 Expertise with application and verification of AI algorithms
Demonstrated track record of very high technical competence that includes strong coding skills and individual technical accomplishments
Proven teamwork skills
Legal authorization to work in the U.S. is required. We will not sponsor individuals for employment visas, now or in the future, for this job opening. U.S. citizenship is required due to Federal Contract Provisions.
Must be willing to work out of an office located in Niskayuna, NY
Must be 18 years or older
You must submit your application for employment on the careers page at www.gecareers.com to be considered
Experience with real-time & embedded control systems is strongly desired
Working knowledge of automation and control systems
Experience with standard development processes, methodologies, and tools for hardware and software co-design
Experience with AI algorithm development and verification.
Experience with MATLAB, Simulink, SCADE and other software modeling tools
Experience with a wide range of projects related to all areas of embedded system development, including driver development, application development, and development of internal software tools used for testing and verification of hardware and software
Ability to communicate ideas in both technical and user-friendly language
Entrepreneurial drive and a demonstrated ability to achieve goals in an innovative and fast-paced environment
This role is restricted to U.S. persons (i.e., U.S. citizens, permanent residents, and other protected individuals under the Immigration and Naturalization Act, 8 U.S.C. 1324b(a)(3)) due to access to export-controlled technology. GE will require proof of status prior to employment.
GE offers a great work environment, professional development, challenging careers, and competitive compensation. GE is an Equal Opportunity Employer (https://assets.phenompeople.com/CareerConnectResources/GE11GLOBAL/en_global/desktop/assets/images/poster_screen_reader_optimized_w_supplement.pdf) . Employment decisions are made without regard to race, color, religion, national or ethnic origin, sex, sexual orientation, gender identity or expression, age, disability, protected veteran status or other characteristics protected by law.
GE will only employ those who are legally authorized to work in the United States for this opening. Any offer of employment is conditioned upon the successful completion of a drug screen (as applicable).
Relocation Assistance Provided: Yes