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.
Must Have
Great to Have