Senior Software Engineer (Compiler & AI Tooling)

Join our team as a Senior/Principal Software Engineer specializing in Compiler & AI Tooling. In this role, you will lead the architecture and implementation of innovative code generation pipelines that integrate Generative AI, Static Analysis, and Formal Verification. You will collaborate with domain specialists, partner with software engineering and research teams, and architect complex workflows. This position offers a flexible hybrid work arrangement, a comprehensive benefits package, and the opportunity to work at the intersection of AI and systems programming.

• Lead the architecture and implementation of novel code generation pipelines that combine Generative AI, Static Analysis, and Formal Verification.
• Define software architecture for Agentic AI pipelines, including state machines, orchestration layers, and LLM-integrated workflows.
• Collaborate with domain specialists to incorporate formal verification and static analysis methods into the code generation pipeline.
• If you fit either profile and are excited by the intersection of AI and systems programming, we want to talk
• You have built a compiler, interpreter, or substantial build tooling (e.g. a Cargo-like build system, a Clang plugin, an LLVM pass, a transpiler). You understand ASTs, IR design, and the full compilation pipeline
• You have shipped a production AI agentic system — orchestrating LLMs with tool use, state machines, retrieval, or multi-step reasoning pipelines. You know where these systems break and how to make them reliable
• We are open to two distinct backgrounds for this role:
• Path A — Compiler / Tooling:
• Path B — AI Agentic Product:
• Strong software delivery fundamentals: code review, testing, CI/CD, release management, and build systems
• Demonstrated experience gathering requirements from stakeholders and translating them into software designs
• 7+ years of collaborative enterprise-level software development in C++ or Python, delivering products to a large customer base
• Track record of planning and executing large projects in a team-based setting
• Understanding of parsing, AST design, IR transformations, and code generation backends
• Deep familiarity with compiler infrastructure — Clang, LLVM, MLIR, or equivalent
• Compiler / tooling background:
• AI agentic product background:
• Familiarity with ML tools and frameworks (PyTorch, Hugging Face, LangChain, or similar)
• Hands-on experience building a compiler, transpiler, or substantial build tooling (e.g. a Cargo-equivalent, a custom linker, a language runtime)
• Experience building reliable, observable AI workflows with structured outputs, retry logic, and evaluation frameworks
• Shipped production AI agentic systems — LLM orchestration, tool-use pipelines, multi-step reasoning, or autonomous code generation
• Plus one of the following:
• Experience with advanced software verification techniques such as fuzzing, symbolic execution, or formal verification (e.g. TLA+, Coq, Z3)
• Hands-on experience with embedded, heterogeneous (FPGA and/or GPU), or distributed systems
• Familiarity with DSP, RF, communications, or other compute-intensive domains
• Experience optimizing and deploying software on constrained or specialized hardware
• Current security clearance, or ability to obtain one (US Citizenship required for cleared work)