Note: The job is a remote job and is open to candidates in USA. Code Metal is redefining code translation for mission-critical industries. They are looking for an experienced software engineer to help build a new generation of transpilation tools enabled by AI and modern verification techniques, focusing on code generation pipelines that integrate Generative AI and formal verification methods.
Responsibilities
- 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, with a focus on correctness and maintainability
- 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
Skills
- 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
- Hands-on experience building a compiler, transpiler, or substantial build tooling (e.g. a Cargo-equivalent, a custom linker, a language runtime)
- Deep familiarity with compiler infrastructure — Clang, LLVM, MLIR, or equivalent
- Understanding of parsing, AST design, IR transformations, and code generation backends
- 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)
- 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
Company Overview
Code Metal is an AI-enabled platform providing verifiable code translation and optimization for edge development and code modernization. It was founded in 2023, and is headquartered in Boston, Massachusetts, USA, with a workforce of 51-200 employees. Its website is https://www.codemetal.ai.