Job Title

Principal Software Engineer - Program Analysis for AI

Overview

We are looking for an experienced software engineer to help us build a new generation of transpilation tools enabled by AI and modern verification techniques that promises to bridge the gap between algorithm development and deployment to embedded systems.

In this role you will play a lead role in architecting and implementing novel code generation pipelines that use a mix of Generative AI, Static Analysis and Formal Verification methods to translate code written in one language to another.

Requirements

Responsibilities

Define Software Architecture for Agentic AI pipelines
Build well tested extensible code foundations for code translation products
Collaborate with domain specialists to incorporate formal verification and static analysis methods into code generation pipeline
Collaborate with the software engineering and research teams to build robust code repositories and continuous integration processes

Must Have

Seven or more years of experience with collaborative enterprise-level software development in C++ to deliver products to a large customer base
Demonstrated experience gathering requirements from stakeholders and distilling them into software designs
Demonstrated experience planning and executing on large projects in a team-based setting
Demonstrated history of building and delivering robust software by employing best practices throughout the SDLC process, including Code review, Testing, Continuous integration, Release management and Build systems

Great to Have

Experience with Compiler development - experience with Clang, LLVM
Experience with advanced software verification techniques like fuzzing and/or formal verification
Python experience
Experience with ML Tools and Frameworks
Experience working with embedded, heterogeneous (FPGA and/or GPU), and/or distributed systems

Code Metal

Latest Jobs

Principal Software Engineer - C++