Note: The job is a remote job and is open to candidates in USA. Code Metal develops AI-enabled, formally verified software engineering tools for modernizing legacy code and deploying algorithms to embedded systems. The company is seeking a Senior Software Engineer to build code transpilation tools and pipelines that combine generative AI, static analysis, and formal verification, while collaborating on code generation, repositories, CI/CD, and integration testing.
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
Skills
- 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)
- Experience with DSP algorithms and applications using Python/MATLAB
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