Ferrous Systems

Teamassistenz mit 30 Wochenstunden, (m/w/d) Ferrous Systems entwickelt IT-Dienstleistungen und Schulungen im Bereich der Programmiersprache Rust. Das von Mitgliedern des Rust-Projekts gegründete Unternehmen befasst sich mit allen Aspekten der Rust...

Today we're announcing the release of Ferrocene 26.05.0, the latest update to our qualified Rust toolchain. This release arrives with a new #warn(ferrocene::unvalidated) lint, a new qualified RHIVOS2 target, limited -C target-cpu support and certified...

On the Ferrocene team, we deal with a lot of tricky problems, as Aïssata Maïga describes in her recent RustWeek talk, The trials of qualifying Rust . This post dives into a particularly thorny problem that crashed my computer, took me over a week to...

Ever wondered where you can meet our team? We've put together a list of events we'll be attending this year, and we'll be speaking at many of them. If you're planning to go to any of these events, don't hesitate to reach out - we'd love to connect...

Callgraph analysis Say you have a region of a program where users Want Static Verification that some function is never called. For simplicity, let's say you want to make sure you never call panic! so your program doesn't crash. In this post we talk...

Overview At Ferrous Systems, we write a lot of Rust code that runs on bare-metal - the code that is first to run when the processor comes out of reset, and code that has no higher power to call upon for assistance. Some of this we do as example code...

IDE/Compiler Engineer, (all genders) Thank you for your interest. This position is now closed to new submissions. Please check back for future opportunities.

Ferrocene and vetted crates going offline See it in action at embedded world, Hall 4, Booth 4-402 We at Ferrous Systems are excited to share insights into a new feature in development, designed to enable Ferrocene and Rust crates in high-risk environments

Today we're announcing the release of Ferrocene 26.02.0, the latest update to our qualified Rust toolchain. This release arrives with an additional certification, ISO 26262 (ASIL B), for the certified subset of the Rust core library ( core )! Now,...

Today we're announcing the release of Ferrocene 25.11.0, the latest update to our qualified Rust toolchain. This release is particularly special to us as it arrives with our first IEC 61508 (SIL 2) certified subset of the Rust core library ( core )...