Senior Software Engineer – Python AI Pipelines

We are looking for a Senior Software Engineer to help build a new generation of transpilation tools powered by AI and modern verification techniques. These tools aim to bridge the gap between algorithm development and deployment to embedded systems.

In this role, you will work closely with experienced engineers and domain specialists to implement innovative code generation pipelines that leverage Generative AI, Static Analysis, and Formal Verification methods to translate code from one language to another.

• Contribute to the development of agentic AI pipelines, implementing complex workflows using state machines, message queues, and distributed systems.
• Build robust, extensible, and well-tested code foundations for code translation products.
• Work with containerized services using Docker for local development and deployment.
• Integrate formal verification and static analysis techniques into the pipeline in collaboration with domain experts.
• Contribute to distributed and cloud-based architectures for reliability and scalability.