[Remote] Senior/Principal Software Engineer (Compiler & AI Tooling)

Note: The job is a remote job and is open to candidates in USA. Code Metal is redefining code translation for mission-critical industries. They are looking for an experienced software engineer to help build a new generation of transpilation tools enabled by AI and modern verification techniques, focusing on code generation pipelines that integrate Generative AI and formal verification methods.ResponsibilitiesDefine software architecture for Agentic AI pipelines — including state machines, orchestration layers, and LLM-integrated workflowsBuild well-tested, extensible code foundations for code translation products, with a focus on correctness and maintainabilityCollaborate with domain specialists to incorporate formal verification and static analysis methods into the code generation pipelinePartner with software engineering and research teams to build robust code repositories and CI/CD processesArchitect and implement complex workflows spanning code parsing, semantic analysis, AI-assisted generation, and output validationSkills7+ years of collaborative enterprise-level software development in C++ or Python, delivering products to a large customer baseDemonstrated experience gathering requirements from stakeholders and translating them into software designsTrack record of planning and executing large projects in a team-based settingStrong software delivery fundamentals: code review, testing, CI/CD, release management, and build systemsHands-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 equivalentUnderstanding of parsing, AST design, IR transformations, and code generation backendsShipped production AI agentic systems — LLM orchestration, tool-use pipelines, multi-step reasoning, or autonomous code generationExperience building reliable, observable AI workflows with structured outputs, retry logic, and evaluation frameworksFamiliarity with ML tools and frameworks (PyTorch, Hugging Face, LangChain, 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 systemsFamiliarity with DSP, RF, communications, or other compute-intensive domainsExperience optimizing and deploying software on constrained or specialized hardwareCurrent security clearance, or ability to obtain one (US Citizenship required for cleared work)BenefitsHealth care plan with 100% premium coverage, including medical, dental, and vision401k with 5% matchingPaid Time Off (uncapped vacation, plus sick and public holidays)Flexible hybrid or remote work arrangementRelocation assistance for qualifying employeesCompany OverviewCode Metal is an AI-enabled platform providing verifiable code translation and optimization for edge development and code modernization. It was founded in 2023, and is headquartered in Boston, Massachusetts, USA, with a workforce of 51-200 employees. Its website is https://www.codemetal.ai.