About this role
Lead architecture and implementation of transpilation tools that combine Generative AI, static analysis, and formal verification to translate code between languages and deploy to embedded heterogeneous targets. Work spans compiler/tooling and AI-agentic system design, including orchestration, LLM-integrated workflows, and rigorous validation for production deployment.
Skills for this role
C++PythonCompiler designTranspilerBuild toolingASTsIntermediate Representation (IR) designClangLLVMMLIRParsingIR transformationsCode generationGenerative AILLM orchestrationAI agentsState machinesOrchestrationStatic analysisFormal verificationTLA+CoqZ3CI/CDTestingCode reviewRelease managementFuzzingSymbolic executionPyTorch''Hugging Face''LangChain