Senior Software Engineer

Job Summary

To support the development of innovative transpilation tools, the full-time Senior Software Engineer will lead the architecture and implementation of code generation pipelines that integrate AI and verification techniques, working in a hybrid environment across locations including San Francisco, Boston, and remote in Oregon.

Key responsibilities

• Define software architecture for Agentic AI pipelines, including state machines and LLM-integrated workflows
• Build well-tested, extensible code foundations for code translation products, focusing on correctness and maintainability
• Collaborate with domain specialists to incorporate formal verification and static analysis methods into the code generation pipeline

Required qualifications

• 7+ years of enterprise-level software development experience in C++ or Python
• Demonstrated ability to gather requirements and translate them into software designs
• Experience planning and executing large projects in a team-based setting
• Strong fundamentals in software delivery, including code review, testing, and CI/CD
• Hands-on experience building a compiler, transpiler, or substantial build tooling