Senior Software Engineer (Code Transpilation)

Join our team as a Senior Software Engineer specializing in code transpilation. In this role, you will enhance and apply foundational libraries that combine Generative AI, static analysis, and formal verification. You will design and develop well-tested, extensible code for code translation products, architect and implement workflows, and collaborate with domain specialists. You will also partner with other engineering teams to build robust code repositories and CI/CD processes. Benefits include a retirement plan, paid time off, health care plan, flexible hybrid work arrangement, and relocation assistance for qualifying employees.

• Enhance and apply foundational libraries combining Generative AI, static analysis, and formal verification to build advanced code transpilation pipelines.
• Design and develop well-tested, extensible code for code translation products, with a focus on correctness and maintainability.
• Collaborate with domain specialists to integrate formal verification and static analysis outputs into the code generation pipeline, and enhance C++ code generation.

• 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