Senior Software Engineer (Compiler & AI Tooling)

Job Description

Lead the architecture and implementation of novel code generation pipelines that combine Generative AI, Static Analysis, and Formal Verification. Define software architecture for Agentic AI pipelines and collaborate with domain specialists to incorporate verification methods into the translation process.

Requirements: Requires 7+ years of enterprise-level software development in C++ or Python with a background in either compiler/tooling or AI agentic products. Candidates should have experience in large-scale project execution and strong software delivery fundamentals like CI/CD and testing.

Key Skills: C++, Python, Compiler Design, LLVM, Clang, Generative AI, Static Analysis, Formal Verification, LLM Orchestration, Software Architecture, CI/CD, Embedded Systems, Machine Learning, PyTorch, LangChain, Software Testing

Benefits: Health care plan with 100% premium coverage, Medical, Dental, Vision, 401k with 5% matching, Uncapped vacation, Sick leave, Public holidays, Flexible hybrid or remote work arrangement, Relocation assistance