Model Checking
If you like applying Model Checking, every challenge here gives you a chance to practice it on a real industry brief.
- CodeSeniorNew
Formally Specify and Model-Check a Payment Rate-Limit Service in TLA+
Using the incident record (INCIDENT-FILE), the protocol design note (PROTOCOL-NOTE), and the representative coordinator module (COORDINATOR-MODULE) provided to you, write a TLA+…
- Tla Plus
- Formal Specification
- Model Checking
Open coursework - DesignSeniorNew
Design a Lock-Free Concurrent Skip List for a Time-Series Database
Using the baseline implementation and benchmark harness in the provided code module (baseline-skiplist-rs), design and build a lock-free skip list that replaces the mutex-guarde…
- Lock Free
- Concurrent Data Structures
- Rust Programming
Open coursework
How it works
From brief to credential, in six steps.
Step 01
Browse challenges aligned to your studies.
Step 02
Accept the one that fits your goals.
Step 03
Work through it with AI Copilot guidance.
Step 04
Submit for structured evaluation.
Step 05
Earn a verified credential.
Step 06
Add it to LinkedIn with one click.
Industry teams behind a decade of practitioner briefs
Hiring from this pool?
Sponsor a challenge and meet candidates through actual work.
Industry teams can shape briefs around the skills they hire for, then evaluate students on rubric-scored deliverables — not resumes.