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 &
- 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.
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
core expertise with Formal Methods and V&V technologies
with embedded software development tools such as Eclipse, CVC4, or Kind 2
with application and verification of AI algorithms
track record of very high technical competence that includes strong coding
skills and individual technical accomplishments
- 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
be willing to work out of an office located in Niskayuna, NY
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
- Experience with standard development
processes, methodologies, and tools for hardware and software co-design
- Experience with AI algorithm development
- 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 https://www.ge.com/research/, meet our innovation giants at https://www.ge.com/research/people, search our open positions at http://twitter.com/geresearchjobs, and connect with us on our social channels at https://twitter.com/GEResearch and https://www.linkedin.com/company/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, gender (including pregnancy), sexual orientation, gender identity or expression, age, disability, veteran status or any other characteristics protected by law.