Staff Software Engineer (AI Tooling)

The role

You will lead the architecture and implementation of code generation pipelines that combine Generative AI, Static Analysis, and Formal Verification. This role involves building tools to translate code from one language to another for deployment to embedded systems.

What you will do

• Define software architecture for Agentic AI pipelines including state machines, orchestration layers, and LLM-integrated workflows.
• Build well-tested, extensible code foundations for code translation products.
• Collaborate with domain specialists to incorporate formal verification and static analysis methods into the code generation pipeline.
• Partner with software engineering and research teams to build robust code repositories and CI/CD processes.
• Architect and implement complex workflows spanning code parsing, semantic analysis, AI-assisted generation, and output validation.

Required qualifications

• 7+ years of collaborative enterprise-level software development in C++ or Python, delivering products to a large customer base.
• Demonstrated experience gathering requirements from stakeholders and translating them into software designs.
• Track record of planning and executing large projects in a team-based setting.
• Strong software delivery fundamentals: code review, testing, CI/CD, release management, and build systems.

Nice to have

• Shipped production AI agentic systems — LLM orchestration, tool-use pipelines, multi-step reasoning, or autonomous code generation.
• Experience building reliable, observable AI workflows with structured outputs, retry logic, and evaluation frameworks.
• Familiarity with ML tools and frameworks (PyTorch, Hugging Face, LangChain, or similar).
• 7+ Experience with advanced software verification techniques such as fuzzing, symbolic execution, or formal verification (e.g. TLA+, Coq, Z3).
• Hands-on experience with embedded, heterogeneous (FPGA and/or GPU), or distributed systems.
• Familiarity with DSP, RF, communications, or other compute-intensive domains.
• Experience optimizing and deploying software on constrained or specialized hardware.
• Current security clearance, or ability to obtain one (US Citizenship required for cleared work).

Benefits

• Health care plan with 100% premium coverage, including medical, dental, and vision
• 401k with 5% matching
• Paid Time Off (uncapped vacation, plus sick and public holidays)
• Flexible hybrid or remote work arrangement
• Relocation assistance for qualifying employees

Before you apply

• US Citizenship may be required for certain project assignments involving security clearance.

About the company

Code Metal is the leader in automated software engineering. They use formal methods to ensure code is provably correct.