Discussion
Loading...

#Tag

Log in
  • About
  • Code of conduct
  • Privacy
  • Users
  • Instances
  • About Bonfire
Jamey Sharp and 1 other boosted
Ferrous Systems
Ferrous Systems
@ferrous@social.ferrous-systems.com  ·  activity timestamp 3 weeks ago

🗣️ 🦀 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/

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.
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.
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.
  • Copy link
  • Flag this post
  • Block
Ferrous Systems
Ferrous Systems
@ferrous@social.ferrous-systems.com  ·  activity timestamp 3 weeks ago

🗣️ 🦀 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/

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.
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.
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.
  • Copy link
  • Flag this post
  • Block

bonfire.cafe

A space for Bonfire maintainers and contributors to communicate

bonfire.cafe: About · Code of conduct · Privacy · Users · Instances
Bonfire social · 1.0.1-alpha.44 no JS en
Automatic federation enabled
Log in
  • Explore
  • About
  • Members
  • Code of Conduct