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.