Build a new generation of transpilation tools powered by AI and modern verification techniques to bridge the gap between algorithm development and deployment to embedded systems.
Requirements
Deep knowledge of Python and at least one other backend programming language - bonus for C++ or Rust.
Experience working with Machine Learning tools or frameworks.
Proficiency in building scalable APIs (REST, GraphQL, or gRPC).
Hands-on experience with Docker and containerized workflows
Experience working with AI/LLMs in production systems.
Familiarity with compilers or static analysis tools.
Experience with workflow orchestration, message queues (e.g., Kafka, RabbitMQ, Redis, Celery), or state machine design.
Responsibilities
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.
Other
5+ years of production software development experience in your language of choice.
Strong experience in enterprise-level software development and delivering robust software to a large user base.
Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems and release pipelines
