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.
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
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
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
We are in the process of transitioning to an improved job application system and in the interim we are operating with two systems. Have your Job ID ready (from the email you received when you applied) to log in and check your application status.
Click the appropriate button. If you don't know your job ID, you can still check your status: use both buttons.