GE Vernova Formal Verification of Real-time Control Code Research Intern - Summer 2026
Skip the busywork
ApplyBolt rewrites your resume for this exact role and hits submit. You just pick the jobs.
About this role
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.