Code Metal is pioneering AI-enabled transpilation tools and seeks a Senior Software Engineer to lead the development of advanced code generation pipelines integrating Generative AI, Static Analysis, and Formal Verification techniques.
Requirements
- Design and implement complex workflows leveraging state machines, message queues, and distributed processing
- Utilize Docker and related tooling to ensure reliable, reproducible environments
- Create well-tested, modular codebases for code translation products
- Collaborate with domain specialists to embed verification methods into AI-driven code generation workflows
- Ensure high availability and scalability of AI services using cloud platforms and distributed architectures
Benefits
- Health care plan with 100% premium coverage
- 401k with 5% matching
- Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
- Flexible hybrid work arrangement