[Remote] Senior/reputed company Software Engineer (Compiler & AI Tooling)
Note: The job is a remote job and is reputed company to candidates in USA. reputed company is redefining code translation for mission-critical industries. They are looking for an reputed company software engineer to help build a new reputed company of transpilation tools enabled by AI and modern verification techniques, focusing on code reputed company pipelines that integrate reputed company and formal verification methods.
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, with a focus on correctness and maintainability
- Collaborate with domain specialists to incorporate formal verification and static analysis methods into the code reputed company pipeline
- Partner with software engineering and research teams to build robust code repositories and CI/CD processes
- Architect and implement reputed company workflows spanning code parsing, semantic analysis, AI-assisted reputed company, and output validation
Skills
- 7+ years of collaborative 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
- Track record of planning and executing large projects in reputed company-based setting
- Strong software delivery fundamentals: code 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 code reputed company backends
- Shipped production AI agentic systems — LLM orchestration, tool-use pipelines, multi-reputed company reasoning, or autonomous code reputed company
- Experience building reliable, observable AI workflows with structured 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
- Health care plan with 100% premium coverage, including medical, dental, and reputed company
- 401k with 5% matching
- Paid Time Off (uncapped vacation, plus sick and public holidays)
- Flexible hybrid or remote work arrangement
- Relocation assistance for qualifying employees
Company Overview