We are looking for an experienced software engineer to help us build a new generation of code translation tools enabled by AI and modern verification techniques that promises to bridge the gap between algorithm development and deployment to embedded systems.
In this role you will play a lead role in architecting and implementing a common platform for novel code translation pipelines that use a mix of Generative AI, Static Analysis and Formal Verification methods to translate code written in one language to another. You will also design, build and deploy multi-language code analysis/retrieval tools at scale.
Responsibilities- Define Software Architecture for Agentic AI pipelines. Architect and implement complex workflows involving state machines, message queues, and distributed processing.
- Build well tested extensible code foundations for code translation products.
- Collaborate with domain specialists to incorporate formal verification and static analysis methods into code generation pipeline.
- Design language-agnostic code translation architecture patterns from practical examples
- Design, build and deploy multi-language code and library analysis tools at scale
- Work with cloud services and distributed architectures to ensure high availability.
Must Have
- Seven or more years of experience with collaborative enterprise-level software development in Python to deliver products to a large customer base
- Demonstrated experience gathering requirements from stakeholders and distilling them into software designs
- Demonstrated experience planning and executing on large projects in a team-based setting
- Demonstrated history of building and delivering robust software by employing best practices throughout the SDLC process, including Code review, Testing, Continuous integration, Release management and Build systems
- Familiarity with Machine Learning Tools and Frameworks
- Expertise in building scalable APIs (REST, GraphQL, gRPC).
- Hands-on experience with Docker and containerized application development.
Great to Have
- Familiarity with agentic AI frameworks and solutions
- Familiarity with code analysis / static analysis.
- Experience working with cloud-based distributed systems (AWS, GCP, Azure).
Top Skills
What We Do
The future is already here. It's just not evenly distributed yet
