13 days old

Visiting Researcher - High Assurance Systems

GE Energy
Niskayuna, NY 12309
**Job Description Summary**

You will contribute to 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.

**Job Description**

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.

Qualifications/Requirements :

+ PhD in Electrical, Control, Computer Engineering, Computer Science or related discipline with a minimum of 10 years of 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 at the Masters level for employment visas, now or in the future, for this job opening.

+ Because of the specific categories of data handled by GE Research and the structure of our work environment, we are unable to accommodate employment of persons while they are considered nationals of embargoed countries subject to restriction under the US Export Administration Regulations (EAR), 15 CFR Section 746 et seq. (currently North Korea, Syria, Iran and Cuba). Please note that citizens of embargoed countries who have either U.S. person status under U.S. export control laws or subsequent citizenship from a non-embargoed country can be considered.

+ 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

Desired Characteristics :

+ Experience with real-time & embedded control systems in the aerospace, energy of healthcare domains is strongly desired

+ Working knowledge of formal verification of automation and control systems

+ 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

**Additional Information**

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

As a federal government contractor, GE may in the future be required to have U.S. employees fully vaccinated against COVID-19. Some GE customers currently have vaccination mandates that may apply to GE employees.

**Relocation Assistance Provided:** No


Posted: 2022-05-11 Expires: 2022-06-10

Before you go...

Our free job seeker tools include alerts for new jobs, saving your favorites, optimized job matching, and more! Just enter your email below.

Share this job:

Visiting Researcher - High Assurance Systems

GE Energy
Niskayuna, NY 12309

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast