Back to jobs
Job Description
- Develop and refine agentic workflows that automate the large-scale migration of C/C++ codebases to idiomatic, memory-safe Rust.
- Collaborate with the wider Rust team on C++/Rust interop, developer tooling, and AI benchmarks.
- Optimize AI-generated Rust code for performance and resource efficiency, leveraging benchmarks to guide translation, then level-up these optimizations into the tooling.
- Implement advanced verification workflows, including differential fuzzing and formal verification, to guarantee bit-identical behavior with legacy 3P C/C++ libraries.
- Design multi-agent harnesses for automated code translation, self-review, verification, and performance analysis to ensure safe by design outputs.