Senior Software Engineer (Compiler & AI Tooling)

About the job

Responsibilities

• Define software architecture for agentic AI pipelines, including state machines, orchestration layers, 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.
• Partner with software engineering and research teams to build robust code repositories and CI/CD processes.
• Architect and implement complex workflows spanning code parsing, semantic analysis, AI-assisted generation, and output validation.

Requirements

• 7+ years of collaborative enterprise-level software development in C++ or Python, delivering products to a large customer base.
• Demonstrated experience gathering requirements from stakeholders and translating them into software designs.
• Track record of planning and executing large projects in a team-based setting.
• Strong software delivery fundamentals: code review, testing, CI/CD, release management, and build systems.
• Experience building a compiler, transpiler, or substantial build tooling (e.g., Cargo-equivalent, custom linker, language runtime).
• Deep familiarity with compiler infrastructure (e.g., Clang, LLVM, MLIR).
• Understanding of parsing, AST design, IR transformations, and code generation backends.
• Shipped production AI agentic systems (LLM orchestration, tool-use pipelines, multi-step reasoning, or autonomous code generation).
• Experience building reliable, observable AI workflows with structured outputs, retry logic, and evaluation frameworks.
• Familiarity with ML tools and frameworks (PyTorch, Hugging Face, LangChain, or similar).
• Experience with advanced software verification techniques (e.g., fuzzing, symbolic execution, formal verification like 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.
• Ability to obtain a security clearance (US Citizenship required for cleared work).

Benefits

• Health care plan with 100% premium coverage (medical, dental, and vision).
• 401k with 5% matching.
• Uncapped vacation, plus sick days and public holidays.
• Flexible hybrid or remote work arrangement.
• Relocation assistance for qualifying employees.