Senior Software Engineer, Code Transpilation
Employment Information
Report this job
Job expired or something wrong with this job?
Job Description
Senior Software Engineer building AI-enabled, formally verified code transpilation tools at Code Metal. Bridging high-level algorithms with embedded systems deployment through C/C++ and Python pipelines.
Responsibilities:
- Enhance and apply foundational libraries combining Generative AI, static analysis, and formal verification
- Build advanced code transpilation pipelines bridging high-level algorithm development to embedded systems deployment
- Design and develop well-tested, extensible code translation products focused on correctness and maintainability
- Architect and implement workflows spanning code parsing, semantic analysis, AI-assisted generation, and output validation
- Integrate formal verification and static analysis outputs into the code generation pipeline
- Enhance C++ code generation
- Partner with engineering teams to build robust code repositories, CI/CD processes, and integration testing
- Collaborate with domain specialists and other engineering teams
Requirements:
- 5+ years of collaborative enterprise-level software development delivering products to a large customer base
- 3+ years C/C++ experience
- 2+ years Python experience
- Demonstrated experience gathering requirements from stakeholders and translating them into software designs
- Track record of planning and executing projects in a team-based setting
- Strong software delivery fundamentals: code review, testing, CI/CD, release management, and build systems
- Experience integrating Generative AI or LLMs into software pipelines, such as prompt engineering, output validation, or AI-assisted code generation
- U.S. Citizenship may be required for certain project assignments involving security clearance
- Some assignments may require eligibility to obtain and maintain a U.S. security clearance
- Preferred: Experience with DSP algorithms and applications using Python/MATLAB
Benefits:
- Health care plan with 100% premium coverage, including medical, dental, and vision
- 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
- Pay strives to be at the upper end of the salary range
Similar Jobs
Senior Engineer I, Product Security
Product security engineer securing NextGen Healthcare products through assessments, threat modeling, and secure development guidance. Integrating security tooling into CI/CD and automating security tasks.
Senior Software Engineer
Senior Software Engineer developing secure software features for Keyfactor’s cryptographic identity platform. Collaborating on architecture, code quality, troubleshooting, and Agile delivery.
Lead Software Engineer – Edge Services
Lead Software Engineer building resilient cloud edge services for OutSystems’ enterprise AI platform. Developing Kubernetes, cloud, automation, and AI-assisted infrastructure solutions.
Mid-Level Full-Stack Developer
Desenvolvedora Full-Stack na Quality Digital, especialista em soluções de TI inovadoras. Atuando com Java, React, Node.js, microsserviços, segurança e práticas de qualidade.
Full-Stack Developer
Full-Stack Developer designing, developing, and operating Dennemeyer’s software products. Supporting global stakeholders through secure, optimized code and technical training.
Software Engineer – Frontend, React
Frontend React Engineer building reusable, performant user interfaces for a software product company. Collaborating on testing, debugging, and modern frontend development practices.
Software Engineer – Frontend, React
Frontend React Engineer developing reusable, high-performance user interfaces for software products. Building, testing, and maintaining React.js components with product and backend teams.
Software Engineer, Frontend – React
Frontend React Engineer building reusable, high-performance interfaces with React.js. Collaborating on product experiences, testing, debugging, and maintainable frontend architecture.
Full-Stack Engineer
Full-Stack Engineer building React and Node.js/TypeScript features for Acely’s AI-powered SAT and ACT tutoring platform. Owning student-facing product development from scoping through production.
Senior Full Stack Java Engineer, Java, Angular
Senior Full Stack Java Engineer building Java, Spring Boot, and Angular products at Applaudo. Developing scalable APIs, reactive interfaces, and AI-powered business solutions.
Intermediate Full-Stack Software Developer
Intermediate full-stack developer building imaging software for Alimentiv, a global gastrointestinal-disease clinical research organization. Developing, supporting, and documenting applications using Angular, AWS, Node.js or Python.
Director, Product Engineering
Director leading product engineering for General Motors vehicle platforms. Overseeing development, validation, launches, engineering teams, budgets, and customer delivery.
Senior Software Engineer – Athena
Senior Software Engineer building Chainguard’s Go-based vulnerability clearing house on GCP. Developing enterprise data pipelines, agentic workflows, and scalable security infrastructure.
Senior Software Engineer II – Research & Development
Senior software engineer developing and optimizing healthcare analytics software at Cotiviti. Leading data-intensive systems, resolving complex issues, and mentoring engineers.
Lead Software Engineer
Lead Software Engineer leading teams that design, develop, test, and improve applications. Supporting TDS Telecom’s nationwide fiber internet, TV, and phone services.
Senior Software Engineer – Accounting Integrations
Senior Software Engineer building AWS serverless accounting integrations for ServiceTrade’s field service management platform. Designing APIs and event-driven workflows while mentoring engineers.
Cloud Platform Technical Lead
Cloud Platform Technical Lead advancing Peraton’s national security cloud and enterprise IT platforms. Leading AWS, DevSecOps, observability, incident response, and digital transformation initiatives.
Senior Software Engineer, Aggregation & Search
Senior Software Engineer scaling Chainalysis’s blockchain data platform through PostgreSQL, Java Spring Boot, Kafka, and AWS. Building high-throughput aggregation, search, and intelligent operational automation.
Senior Software Engineer, Aggregation & Search
Senior Software Engineer building scalable PostgreSQL, Java, and AWS systems for Chainalysis, a blockchain analytics platform. Owning aggregation, search, streaming, and AI-enabled operational automation.
Senior Full-Stack Developer, PHP/Laravel
Senior PHP/Laravel developer building a legal-tech platform for E-commerce businesses. Leading fullstack projects from architecture through go-live with Laravel and Livewire.