Jamey Sharp
and 1 other
boosted
🗣️ 🦀 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: https://ferrous-systems.com/blog/research-engineer/
