Formal Verification jobs
Recent jobs tagged with this role.
-
Category Labs
Senior Software Engineer (C++ / Rust)
Posted 2 weeks, 5 days ago
Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of decentralized technology. After raising $225M in series A funding, led by Paradigm, they are growing their team. Th…
Roles
Tech stack
Location
Remote, NYC
Work setup
full-time · Remote and NYC (no additional details provided).
Compensation
Full Time, $200K USD+ (salary not fully specified).