Principal Software Engineer

Job Title: Principal Software Engineer - Python AI Pipelines

Overview:

We are seeking an experienced software engineer to develop a new generation of transpilation tools empowered by AI and modern verification techniques, bridging the gap between algorithm development and deployment to embedded systems.

This role involves leading the architecting and implementation of novel code generation pipelines that combine Generative AI, Static Analysis, and Formal Verification methods to translate code from one language to another.

Responsibilities: