Research Engineer - Formal Verification at General Electric

Niskayuna, New York, United States

Role Summary:

As a Research Engineer - Formal 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.

Essential Responsibilities:

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
  • 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
  • Lead innovative research projects that define and implement
    software tools that improve the development of real-time embedded systems
    including advance technologies for integrated modeling, simulation, and verification.


  • PhD
    in Electrical, Control or Computer Engineering or related discipline OR
    Master’s degree in Electrical, Control or Computer Engineering or related discipline with a minimum of 4 years of relevant work experience OR Bachelor’s Degree in Electrical, Control or Computer Engineering with a minimum of 10 years of relevant work
  • 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 or Bachelors 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 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

About Us:

GE Research is GE's innovation engine where new ideas are originated, developed and productized to create a better world and deliver differentiated products across the company's industrial portfolio. These products span the aviation, power, transportation and health care sectors.
Today, we're a forward leaning, interdisciplinary organization, matching world-class innovation with market insights and industry connections to move faster and deliver better outcomes for GE’s businesses and customers.
We continue a strong track record in innovation and invention that began with our company's founder, Thomas Edison. GE scientists and engineers have distinguished themselves over time, amassing tens of thousands of patents, two Nobel prizes in chemistry and physics, and a list of inventions that have defined and redefined generation after generation.
This rich legacy of delivering transformative innovation is thriving now more than ever.
Discover how we’re seeing, moving and creating the future at, meet our innovation giants at, search our open positions at, and connect with us on our social channels at and
GE offers a great work environment, professional development, challenging careers, and competitive compensation. GE is an Equal Opportunity Employer. Employment decisions are made without regard to race, color, religion, national or ethnic origin, gender (including pregnancy), sexual orientation, gender identity or expression, age, disability, veteran status or any other characteristics protected by law.

Additional Eligibility Qualifications:

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

Additional Locations:

United States;New York;Niskayuna;

Remember to mention that you found this on Careerland