Skip to main content

mastodon - Link to source

🗣️ 🦀 Calling #Rustaceans with a passion for formal verification:
We’re hiring for a three-year research role to help define #RustLang semantics, with an optional #PhD path.

👉 Details here: ferrous-systems.com/blog/resea…

A blue square that says "Job Opportunity" from Ferrous Systems. Text says: Hiring: Research Engineer We're hiring for a rare role: Join us to formalize the semantics of Rust on a real, multi-year project.You'll work with leading experts, contribute to the foundations of the language, and can also be used as an opportunity to pursue a PhD alongside the work.

Research Engineer

Ferrous Systems is looking for a Research Engineer to plan and coordinate the development steps of the company's safety-critical compiler Ferrocene.
ferrous-systems.com
#rustlang #phd #rustaceans
This entry was edited (1 day ago)
⇧