Ferrous Systems seeks a Research Engineer for a 3-year project focused on formal modeling, implementation, and verification of a Rust subset, plus network protocol assurance. The role involves contributing to Rust's formal semantics, implementing and proving portions of a network stack in Rust/Rocq, and publishing academic papers. Candidates need a master's in CS, formal verification experience (particularly with Rocq ITP), Rust knowledge, and ideally understanding of Rust semantics including unsafe code. The position offers PhD pursuit opportunities with academic partners, remote work in Germany, 35-40 hours/week, and potential permanent employment after the project period.
Table of contents
1.1 Within a 3-year research project, you will work with our partners to:1.2 Apply to this position if you have:1.3 We offer you:1.4 Your application:Sort: