Senior Validation & Verification Engineer Job (Niskayuna, NY, United States)
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 ****or ****, and connect with our technologists 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, sex, sexual orientation, gender identity or expression, age, disability, protected veteran status or other characteristics protected by law.
Posted Position Title:
Senior Validation & Verification Engineer
Research - Electrical and Electronic Engineering
U.S. State, China or Canada Provinces:
As a Senior Validation & Verification Research Engineer, you will be responsible for leading a team to develop new technology to drive efficiency in development and certification of safety critical embedded software and systems for aerospace, rail, healthcare and energy applications.
Lead a team of researchers and collaborate with GE business units to define, mature and demonstrate innovative new technologies and processes that lead to efficiency improvements in the development, validation and verification of safety-critical software and systems infrastructure. Applications are focused on avionics, and also include air traffic control, rail signaling, healthcare imaging, and electric power generation, distribution and management.
Provide technical leadership and guidance to a team of researchers.
Interact with GE business unit customers.
Provide thought leadership to innovate and apply new technologies and processes in the development and certification of critical systems in the aerospace, rail, energy and healthcare industries.
Propose new concepts to develop requirements, behavioral models and formal properties from text-based requirements.
Lead the generation of intellectual property in the field of validation and verification of critical infrastructure.
A PhD in Computer Science, Computer Engineering, Electrical Engineering, Control Systems, or related area with 5 years of relevant work experience (or an MS with 10 years of relevant work experience)
Core technical expertise and demonstrated thought leadership with validation and verification of critical software and systems.
Demonstrated, effective leadership of a team working on validation and verification or a related area.
Expertise with the theory and practice of formal methods including temporal logic, model checking and theorem proving.
Expertise with model based software and system design.
Proficient with real time software development.
Candidate must be willing to travel to meet with GE business units and GRC technical teams.
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 willing to take a drug test and submit to a background investigation as part of the selection process.
Must be 18 years or older.
You must submit your application for employment on the careers page at ****to be considered.
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 background investigation and drug screen.
Expertise in DO-178C and the Formal Methods and Model Based Development supplements
Proficient with model checking and theorem proving tools.
Experience developing software and systems for aerospace, rail, healthcare or energy applications.
Expertise in complex system composition, architecture and analysis.
Experience developing a flight certified application.
Experience developing Validation and Verification tools.
History of research team leadership
Strong interpersonal skills.
Strong analytical skills.
Ability to work across all functions/levels as part of a team.
Ability to work under pressure and meet deadlines.
Excellent written and verbal communication skills.