Senior Software Engineer, Code Transpilation
About The Position
Code Metal is the leader in automated software engineering you can trust. As AI writes more of the world's code, the bottleneck in software has shifted from writing code to verifying it works, and AI cannot verify its own work with certainty. Code Metal takes a fundamentally different approach: constrain AI to what it does reliably, verify every step independently of the model using formal methods, and keep engineers in the loop on the decisions that matter. The result isn't code that probably works — it's code that is provably correct, with auditable proof. Customers including the U.S. Air Force, L3Harris, RTX, and Toshiba use Code Metal to modernize legacy code, optimize performance on real hardware, and move prototypes to production, fast. Founded in 2023 with offices in Boston and San Francisco, Code Metal is funded by Accel, Salesforce Ventures, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch, RTX, and others. Learn more at codemetal.ai. The Role 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 — bridging the gap between algorithm development and deployment to embedded systems. In this role, you will enhance and apply foundational libraries combining Generative AI, static analysis, and formal verification—building advanced code transpilation pipelines that bridge high-level algorithm development to embedded systems deployment.
Requirements
- 5+ years of collaborative enterprise-level software development delivering products to a large customer base.
- 3+ years C/C++ and 2+ years Python experience.
- Demonstrated experience gathering requirements from stakeholders and translating them into software designs.
- Track record of planning and executing projects in a team-based setting.
- Strong software delivery fundamentals: code review, testing, CI/CD, release management, and build systems.
- Experience integrating Generative AI or LLMs into software pipelines (e.g., prompt engineering, output validation, or AI-assisted code generation).
Nice To Haves
- Experience with DSP algorithms and applications using Python/MATLAB.
Responsibilities
- Design and develop well-tested, extensible code for code translation products, with a focus on correctness and maintainability.
- Architect and implement workflows spanning code parsing, semantic analysis, AI-assisted generation, and output validation.
- Collaborate with domain specialists to (1) integrate formal verification and static analysis outputs into the code generation pipeline, and (2) enhance our C++ code generation.
- Partner with other engineering teams to build robust code repositories and CI/CD processes and integration testing.
Benefits
- Pay depends on experience, but we strive to be at the upper end of the salary range
- 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
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Senior
Education Level
No Education Listed
