1 open role mentioning Static Analysis
Code Metal
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