Senior Software Engineer, Formal Verification (remote)
Job description
Category Labs (Monad) is hiring a Senior Software Engineer, Formal Verification, fully remote. This role is open to applicants based in Cameroon: no country restriction, no relocation requirement and no timezone mandate. Key facts: - Company: Category Labs (Monad) - Field: Engineering - Work mode: 100% remote (worldwide) - Salary: 180K–250K USD per year, i.e. about 8 570 000 to 11 900 000 FCFA per month (rate: 1 USD = 571 FCFA, 20 Sep 2026) - Skills / technologies: C++ - Posted: 1 day ago From the employer's original listing: Category Labs (formerly Monad Labs) is a team of systems engineers and researchers building at the frontier of decentralized technology, after raising $225M in series A funding....... The full job description and the application process are on the employer's website. To apply, use the application link below.
Requirements
Technical skills expected: C++.