Senior Software Engineer (Code Transpilation)

• 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

• Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
• Flexible hybrid work arrangement
• Relocation assistance for qualifying employees
• Health Care Plan (Medical, Dental & Vision)
• Retirement Plan (401k, IRA)- 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