Stellenbeschreibung
## Responsibilities
- 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.
## Minimum qualifications:
- Bachelor’s degree or equivalent practical experience.
- 2 years of experience with software development in C++ or Rust, or 1 year of experience with an advanced degree.
## Preferred qualifications:
- Master's degree or PhD in Computer Science or related technical fields.
- Experience developing accessible technologies.
- Experience with the Agentic tooling landscape.
- Experience with programming language design or compilers.
Individual pay is determined by factors including job-related skills, experience, and relevant education or training.
Germany: (EUR) + 15% bonus target + equity + benefits