[Remote] Senior Software Engineer (Compiler & AI Tooling)
Note: The job is a remote job and is reputed company to candidates in USA. reputed company is redefining reputed company translation for mission-critical industries, helping defense partners reputed company more quickly and reliably from algorithm to reputed company. They are seeking an reputed company software engineer to reputed company the architecture and implementation of novel reputed company reputed company pipelines that reputed company AI and modern verification techniques. The role involves defining software architecture for AI pipelines, building extensible reputed company foundations, and collaborating with domain specialists for formal verification and static analysis reputed company.
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
Skills
- 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
- 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
- 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)
- 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
- Pay depends on experience, but we reputed company to be at the upper end of the salary reputed company
- Health care plan with 100% premium coverage, including medical, dental, and reputed company
- 401k with 5% matching
- reputed company Time Off (reputed company vacation, plus reputed company and public holidays)
- Flexible hybrid or remote work arrangement
- Relocation assistance for qualifying employees
reputed company