Formal verification Jobs

OpenAI

We’re hiring a Research Engineer to help OpenAI models solve chip-design problems through reinforcement learning, tool use, and evaluation. You’ll own experiments from the initial idea through implementation and analysis, building environments and evaluations, running training, investigating failures, and using the results to decide what to try next. You’ll also build the software needed to make those experiments reliable and reproducible. We value strong coding fundamentals, careful experimental judgment, and the ability to make progress independently. Prior chip-design experience is helpful, but you can learn the domain alongside the team’s hardware specialists.

$380k - $500k

Code Metal is seeking an experienced software engineer to develop a new generation of AI-powered transpilation tools, bridging algorithm development and embedded systems deployment. This role involves leading the architecture and implementation of novel code generation pipelines that integrate Generative AI, Static Analysis, and Formal Verification to translate code between languages. Candidates should have a strong background in either compiler/tooling or AI agentic product development and be excited by the intersection of AI and systems programming.

$170k - $210k