Senior Software Engineer, Code Transpilation
Code Metal · Remote · Boston Hub · Remote · San Francisco Hub ·
COMPENSATION
$170k – $210k
Listed on the employer's job board (Ashby)
- Senior level role
- C++ and Python
- AI + Formal Verification
- Hybrid or Remote
- US Citizenship may be required
You will enhance foundational libraries that combine Generative AI, static analysis, and formal verification. Your work involves building advanced code transpilation pipelines that ensure provably correct code for high-stakes environments.
What you'll do
- Design and develop extensible code for translation products with a focus on correctness
- Architect workflows spanning parsing, semantic analysis, AI generation, and validation
- Integrate formal verification and static analysis outputs into the generation pipeline
- Enhance C++ code generation capabilities in collaboration with domain specialists
- Build robust code repositories and CI/CD processes with other engineering teams
What you'll need
- 5+ years of enterprise-level software development experience
- 3+ years of experience with C or C++
- 2+ years of experience with Python
- Experience gathering requirements and translating them into software designs
- Strong fundamentals in code review, testing, CI/CD, and build systems
- Experience integrating Generative AI or LLMs into software pipelines
Nice to have
- Experience with DSP algorithms and applications using Python or MATLAB
Stack
- C++
- Python
- MALAB
- Generative AI
- LLMs
How you'll work
- Flexible hybrid or remote work arrangement
- Offices in Boston and San Francisco
- US Citizenship may be required for certain projects
What you get
- Health care plan with 100% premium coverage
- 401k with 5% matching
- Uncapped vacation plus sick and public holidays
- Relocation assistance for qualifying employees