General Electric Formal Verification Research Engineer in Niskayuna, New York

Role Summary:

As a Formal Verification Research Engineer, you will develop and implement technologies that advance the state of the art in technology that enables efficient verification of embedded control systems in safety critical applications that include autonomous elements.

Essential Responsibilities:

You will lead research projects that innovate and implement software tools that improve the development of real-time embedded systems, reduce development, time, and advance technologies for integrated modeling, simulation, and verification. You will also be working to apply Formal Verification to Machine Learning and Artificial Intelligence algorithms, as well as developing state of the art Runtime Assurance algorithms to monitor the activities of non-deterministic algorithms in safety critical applications (e.g. Unmanned Airborne Systems).

In this position, the prospective candidate will:

  • Design and develop tools for requirements formalization, system design, embedded software design, coding, sub-system & system verification of critical control and autonomous systems.

  • Conceive innovative approaches for the development and certification of embedded systems with autonomous elements.

  • Initiate and drive new technology capabilities in real-time, embedded control software development, formal verification and test.

  • Initiate and drive new technology capabilities in Assured Autonomy and Runtime Assurance of Machine Learning and Artificial Intelligence algorithms

  • 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, Control or Computer Engineering or related discipline, OR Master’s degree with 4 years of relevant work experience in academia, industry, or research environment OR Bachelor’s Degree with 10 years of relevant work experience in industry or research environment

  • Demonstrated core expertise with Formal Methods and V&V technologies

  • Experience with embedded software development tools such as Eclipse, CVC4, or Kind 2.

  • Demonstrated track record of very high technical competence that includes strong coding skills and individual technical accomplishments

  • Experience working on software development and V&V of autonomous systems software

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

  • 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 to be considered

Desired Characteristics:

  • 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 model checkers and theorem provers

  • Experience with MATLAB, Simulink, SCADE and other software modeling tools

  • Experience in scripting languages such as Python and TCL

  • 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

About Us:

At GE Global Research, we’re redefining what’s possible. From cutting-edge research in molecular pathology for use in personalized cancer diagnostics to programs in coal gasification and renewable power that drive clean energy solutions, our work at Global Research is world-renowned. As part of our team, you’ll find yourself among nearly 3,000 scientists and engineers from every discipline in a dynamic atmosphere where you’ll be constantly challenged to learn and grow. You’ll have access to leaders on all levels of the organization and collaborate across the globe with the very best in the field. If you have an insatiable intellectual curiosity and the ability to articulate your vision, then join us and watch the work you do create the next generation of products and processes that will impact the globe for generations to come.

At GE Global Research we redefine what's possible, finding answers to some of the world's toughest problems. Find out more at at or , and connect with our technologists at and

GE offers a great work environment, professional development, challenging careers, and competitive compensation. GE is an Equal Opportunity Employer at . 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.

Locations: United States; New York; Niskayuna

GE will only employ those who are legally authorized to work in the United States for this opening.