About the job
Join Our Team as a Senior Software Engineer – Python AI Pipelines
At code-metal, we are pioneering the development of next-gen transpilation tools that harness the power of AI and cutting-edge verification techniques. Our mission is to seamlessly connect algorithm development with deployment on embedded systems.
In this pivotal role, you will collaborate with a team of seasoned engineers and domain experts to create innovative code generation pipelines. You will utilize Generative AI, Static Analysis, and Formal Verification methods to facilitate the translation of code across different programming languages.
- Develop sophisticated AI-driven pipelines, incorporating complex workflows through state machines, message queues, and distributed systems.
- Construct robust, scalable, and thoroughly tested codebases for code translation solutions.
- Leverage Docker for containerized services in both local development and deployment environments.
- Integrate formal verification and static analysis methodologies into the pipeline in partnership with domain specialists.
- Contribute to distributed and cloud-based architectures enhancing reliability and scalability.
