8 days old

Research Engineer - Formal Verification

General Electric
Niskayuna, NY 12309
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

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.



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















Qualifications/Requirements:





+ PhD

in Electrical, Control or Computer Engineering or related discipline OR

Masters degree in Electrical, Control or Computer Engineering or related discipline with a minimum of 4 years of relevant work experience OR Bachelors Degree in Electrical, Control or Computer Engineering with a minimum of 10 years of relevant work

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 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 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 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 GEs 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 were 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.

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;

Categories

Posted: 2019-08-12 Expires: 2019-09-11

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:

Research Engineer - Formal Verification

General Electric
Niskayuna, NY 12309

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast