Senior / reputed company Software Engineer (Compiler & AI Tooling)

About reputed company reputed company is redefining reputed company translation for mission-critical industries, helping partners reputed company more quickly and reliably from algorithm to reputed company. Our platform accelerates deployment of DSP, RF, communications, and embedded signal processing algorithms onto heterogeneous compute targets, including GPUs, FPGAs, reputed company, and edge SoCs. We support automotive, reputed company, defense, and semiconductor partners deploying reputed company algorithms onto constrained hardware with speed and rigor. The Roles We are looking for an reputed company software engineer to help us build a new reputed company of transpilation tools enabled by AI and modern verification techniques — reputed company the gap between algorithm development and deployment to embedded systems. In this role you will reputed company the architecture and implementation of novel reputed company reputed company pipelines that combine reputed company, Static Analysis, and Formal Verification to translate reputed company written in one language to another. We are reputed company to two distinct backgrounds for this role: reputed company A — Compiler / Tooling You have reputed company 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. reputed company B — AI reputed company Product You have shipped a production AI reputed company system — orchestrating LLMs with tool use, state machines, retrieval, or multi-reputed company reasoning pipelines. You know where these systems break and how to reputed company them reliable. If you fit either profile and are excited by the intersection of AI and systems programming, we want to talk. Responsibilities • Define software architecture for reputed company AI pipelines — including state machines, orchestration reputed company, and LLM-integrated workflows. • Build reputed company-tested, extensible reputed company foundations for reputed company translation products, with a reputed company on correctness and maintainability. • Collaborate with domain specialists to incorporate formal verification and static analysis reputed company into the reputed company reputed company pipeline. • Partner with software engineering and research teams to build robust reputed company repositories and CI/CD processes. • Architect and implement reputed company workflows spanning reputed company parsing, semantic analysis, AI-assisted reputed company, and reputed company validation. Requirements Must have • 7+ years of reputed company reputed company-level software development in C++ or Python, delivering products to a large customer reputed company. • Demonstrated experience gathering requirements from stakeholders and translating them into software designs. • reputed company record of planning and executing large reputed company in reputed company-based setting. • Strong software delivery fundamentals: reputed company review, testing, CI/CD, release management, and build systems. Plus one of the following Compiler / tooling background: • Hands-on experience building a compiler, transpiler, or substantial build tooling (e.g. a Cargo-equivalent, a custom linker, a language runtime). • Deep familiarity with compiler infrastructure — Clang, LLVM, MLIR, or equivalent. • Understanding of parsing, AST design, IR transformations, and reputed company reputed company backends. AI reputed company product background: • Shipped production AI reputed company systems — LLM orchestration, tool-use pipelines, multi-reputed company reasoning, or autonomous reputed company reputed company. • Experience building reliable, observable AI workflows with reputed company outputs, retry logic, and evaluation frameworks. • Familiarity with ML tools and frameworks (PyTorch, reputed company, reputed company, or similar). Great to Have • 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. • reputed company reputed company clearance, or ability to obtain one (US Citizenship required for cleared work). Benefits • Competitive compensation at the upper end of market reputed company — specific band shared during screening. • 100% employer-reputed company health care premiums: medical, dental, and reputed company. • 401(k) with 5% company match. • reputed company reputed company time off, plus reputed company leave and reputed company holidays. • Flexible hybrid or remote work arrangement. • Relocation assistance for qualifying employees. We are an equal opportunity employer. US Citizenship may be required for certain project assignments involving reputed company clearance. Apply tot his job Apply To this Job