Berlin based technology consultancy specialising in the Rust programming language. We offer development, implementation, training and long-term support.

Ferrous Systems' focus on embedded systems and Rust development provides readers with  insights into building safe, reliable, and performant software for resource-constrained environments. From bare-metal programming to real-time operating systems, Ferrous Systems offers expertise and guidance for navigating the unique challenges of embedded development with Rust.

Ferrous Systems

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.

Research Engineer

1.1 Within a 3-year research project, you will work with our partners to: