Senior Software Engineer (Code Transpilation)
Posted Updated
- 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
- 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
- Relocation assistance for qualifying employees
- Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
- Retirement Plan (401k, IRA)
- Health Care Plan (Medical, Dental & Vision)
- Flexible hybrid work arrangement
- Demonstrated experience gathering requirements from stakeholders and translating them into software designs
- Experience integrating Generative AI or LLMs into software pipelines (e.g., prompt engineering, output validation, or AI-assisted code generation)
- 3+ years C/C++ and 2+ years Python experience
- 5+ years of collaborative enterprise-level software development delivering products to a large customer base
- 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 with DSP algorithms and applications using Python/MATLAB