GE Careers
Apply Now    

Formal Verification Research Engineer

  • GE Corporate
  • Entry-Level
  • Posted 12/1/2017 12:50:07 PM
  • 3038108
  • Job Function: Engineering/Technology
  • Business Segment: Corporate Global Research
Location(s): United States; New York; Niskayuna


About Us:
GE is the world's Digital Industrial Company, transforming industry with software-defined machines and solutions that are connected, responsive and predictive. Through our people, leadership development, services, technology and scale, GE delivers better outcomes for global customers by speaking the language of industry.

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 http://www.ge.com/research or http://twitter.com/geresearchjobs, and connect with our technologists at http://www.edisonsdesk.com and http://twitter.com/GEresearch

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, sex, sexual orientation, gender identity or expression, age, disability, protected veteran status or other characteristics protected by law.

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 software in safety critical and Internet of Things applications. 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.

Essential Responsibilities:
Determines requirements of the real-time, embedded control software user community, identify appropriate processes, methods, and tools for the detection of software faults early in the Validation & Verification process using Formal Methods. Will lead research and development of Verification & Validation technologies such as compositional verification with SMT solver technology using GE and externally developed tools, processes, and best practices.


In this position, the prospective candidate will:

  • Design and develop tools for requirements formalization, system design, embedded software design, coding, sub-system & system test of critical control systems
  • Conceive and develop strategic initiatives for the simplification and implementation of embedded software development, formal verification and test, with a 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 or Computer Engineering or related discipline
  • 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
  • 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 www.gecareers.com 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 V&V software tools such as Rhapsody, Doors, and SADL
  • 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
  • Knowledge of advanced digital signal processing techniques such as multi-rate signal processing, adaptive filtering, fixed point filter design and considerations, optimization methods
  • 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

    Locations: United States; New York; Niskayuna

    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, 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 conditional upon the successful completion​ of a background investigation and drug screen.


  • Apply Now    
    Link for schema

    GE Careers Technical Assistance

    Having technical issues with ge.com/careers or your application? We're here to help.

    Get In Touch

    Connect With Us

    Stay up to date on GE and possible opportunities that open in areas that interest you.

    Sign Up