Job Description Summary

As a GE Vernova accelerator, GE Vernova Advanced Research is driving strategy and leading research & development efforts to execute on the business’s mission to help power the energy transition. We forge the collaborations and help invent the technologies required to electrify and decarbonize for a zero-carbon future.

Representing virtually every major scientific and engineering discipline, our researchers are collaborating with GE Vernova’s businesses, the U.S. government, and more than 420 entities at the forefront of technology to execute on 150+ energy focused projects. Collectively, these research programs and initiatives aim to solve near term technical challenges, deliver next generation product advances, and drive long term breakthrough innovation to enable more affordable, reliable, sustainable, and secure energy.

Come and join our powerful, unified force with the energy to change the world. Our mission is BIG.

Our TRANSFORMATION is key – bringing the right businesses together to LEAD the ENERGY TRANSITION. Our TEAM is ready.

Addressing the climate crisis is an urgent global priority and we take our responsibility seriously. Building on over 130 years of experience tackling the world’s challenges, GE Vernova is uniquely positioned to help lead the energy transition by continuing to electrify the world while simultaneously working to decarbonize it. GE Vernova helps customers power economies and deliver electricity that is vital to health, safety, security, and improved quality of life.

Job Description

Formal verification is a mathematical approach to ensuring the correctness and reliability of software. Formal methods such as model checking, theorem proving, and static analysis, can be used to prove that the code meets its requirements and behaves as expected under all possible operating conditions.

In real-time control systems, the software must respond to inputs and events within strict time bounds, making it critical to ensure that the code is both correct and efficient. Furthermore, control code in critical infrastructure such as power generation systems must meet increasingly high standards for security. Formal verification can be employed to verify and guarantee these system properties.

We are looking for a graduate student with strong background in programming language technology and knowledge of formal methods, to perform research on the application of formal verification techniques to real-time embedded C code. The candidate will apply and possibly extend existing formal verification tools in order to effectively verify properties of interest in the code of selected products.

Qualifications:

• Pursuing a PhD in Computer Science or related fields. 

• Minimum GPA of 4/0/5.0.

• Legal authorization to work in the U.S. is required.

• Because of the specific categories of data handled by GE Vernova Advanced Research and the structure of our work environment, we are unable to accommodate employment of persons while they are considered nationals of countries subject to comprehensive restrictions under the US Export Administration Regulations (EAR), 15 CFR Section 746 et seq. (currently North Korea, Syria, Iran and Cuba). Please note that citizens of these countries who have either “U.S. person” status under U.S. export control laws or subsequent citizenship or permanent residency from a non-restricted country can be considered.

• Must be willing to work out of an office located in Niskayuna, NY.

Desired Skills:

• Scientific curiosity and willingness to explore, learn, and innovate.

• Strong background in programming languages and compiler development.

• Strong working knowledge in C/C++ and familiarity with embedded software development.

• Familiarity with formal methods tools, theorem provers, or SAT/SMT solvers.

The weekly base pay range for this position is $1,000-$2,000 weekly. The specific pay offered may be influenced by a variety of factors, including the candidate’s experience, education, and skill set. This position will be posted until at least 11/1/2025.

General Electric Company, Ropcor, Inc., their successors, and in some cases their affiliates, each sponsor certain employee benefit plans or programs (i.e., is a “Sponsor”). Each Sponsor reserves the right to terminate, amend, suspend, replace, or modify its benefit plans and programs at any time and for any reason, in its sole discretion. No individual has a vested right to any benefit under a Sponsor’s welfare benefit plan or program. This document does not create a contract of employment with any individual.

Benefits Available to you:

Addressing the climate crisis is an urgent global priority, and at GE Vernova, we take our responsibility seriously. That is the singular mission of GE Vernova: to continue electrifying the world while simultaneously working to help decarbonize it. In order to meet this mission, we provide varied, competitive benefits to help support our workforce: Our Culture | GE Vernova (gecareers.com)

This position is also eligible for:

• Relocation Assistance: Co-op/Interns will be reimbursed for reasonable, proper, and documented expenditures incurred while initially reporting to work and returning to school/home upon completion of the assignment. Employees with a permanent address greater than 50 miles away from the work location are eligible.

• Housing Allowance: Co-op/Interns employees receive a weekly housing allowance to help off-set living expenses when the co-op/Intern’s permanent residence is at least 50 miles away from the work location.

• Employee Assistance Program, providing 24/7 confidential assessment, counseling and referral services

• GE Retirement Savings Plan (RSP) after their accumulated service reaches 90 days, and they meet any other eligibility requirements as defined in the plans. (Eligibility occurs on the 1st of the month following the 90th day.)

Inclusion

At GE Vernova, we believe in the value of your unique identity, background and experiences. We are committed to fostering an inclusive culture, where everyone feels empowered to do their best work because they feel accepted, respected and that they belong.  Click here to learn more: https://jobs.gecareers.com/vernova/global/en/i-d-e

This role requires access to U.S. export-controlled information. If applicable, final offers will be contingent on ability to obtain authorization for access to U.S. export-controlled information from the U.S. Government. ​

Additional Information