Computer Sciences Challenges
Explore computer science challenges on Ewance to equip yourself with job-relevant skills for a variety of roles. Learn programming techniques and build technical skills with challenges on software development, algorithm design, system architecture, and more.
Most Popular
- DesignSeniorNew
OTA Firmware-Update Architecture for a 50,000-Device Smart-Meter Fleet
Design a 4-stage OTA architecture: (1) signed image build + manifest, (2) backend rollout (1 percent canary, 10 percent expand, 50 percent expand, 100 percent), (3) device-side …
- Embedded Systems
- Cyber Physical Systems
- Edge Computing
Internet of Things and Cyber-Physical Systems - AnalysisSeniorNew
Cyber-Physical Security Audit for a Connected-Building HVAC System
Audit one representative tower's BMS: enumerate BACnet devices (network discovery + capability inventory), identify lateral-movement paths (tenant wifi -> guest network -> BACne…
- Cyber Physical Systems
- Ot Security
- Risk Management
Internet of Things and Cyber-Physical Systems - CodeSeniorNew
Port a Microkernel IPC Mechanism to a New Architecture
Fork the project repository and port the synchronous IPC fast path to RISC-V (RV64GC). Preserve the existing fast-path invariants: register-only message passing for messages und…
- Microkernels
- Ipc
- Risc V
Advanced Operating Systems - CodeSeniorNew
Build a Unikernel for a Privacy-Focused VPN Provider
Choose either MirageOS or Unikraft as the unikernel framework. Build an image running a minimal WireGuard data plane (existing OCaml or Rust WireGuard reference implementation i…
- Unikernels
- Virtualization
- Wireguard
Advanced Operating Systems Develop in-demand professional skills.
Each challenge names the skills it strengthens. Over time, your profile fills with the competences a hiring manager would actually look for.
Why Ewance
- CodeSeniorNew
Implement Distributed Shared Memory Over RDMA for a Trading Firm
Build a DSM library in C++ exposing a region API (allocate, read, write, free). Use ibverbs for RDMA primitives (one-sided read/write, atomics for the directory). Implement dire…
- Distributed Systems Design
- Rdma
- Consistency Models
Advanced Operating Systems - CodeSeniorNew
Design a Raft-Based Consensus Layer for a Multi-Region Database
Implement Raft in Go per the original Ongaro-Ousterhout paper: leader election, log replication with the safety property, snapshotting at 10K-entry granularity, and joint-consen…
- Distributed Consensus
- Raft
- Fault Tolerance
Parallel and Distributed Algorithms - CodeSeniorNew
Design a Lock-Free Concurrent Skip List for a Time-Series Database
Implement Fraser's lock-free skip list in Rust with marked pointers for logical deletion. Validate under loom for all interleavings up to 4 threads (or use shuttle if loom can't…
- Lock Free
- Concurrent Data Structures
- Rust Programming
Parallel and Distributed Algorithms - CodeSeniorNew
Build a Symbolic-Execution-Based Test Generator for a Library
Pick KLEE for the symbolic-execution engine. Build LLVM bitcode for the library's C99 build target. Define symbolic inputs for the public parsing API (date strings up to 32 char…
- Symbolic Execution
- Klee
- Test Generation
Program Analysis - Browse challenges
Explore role
Strategy Analyst
Frame the business question, model the options, build the recommendation. From market sizing to competitive analysis, this role is where strategy consulting meets in-house decision-making.
- CodeSeniorNew
Abstract-Interpretation-Based Configuration Validator for a SaaS Platform
Define an abstract domain capturing relations between configuration fields (e.g. 'if billing.plan = enterprise then features.audit_log = true'). Implement an abstract-interpreta…
- Abstract Interpretation
- Static Analysis
- Rust Programming
Program Analysis - CodeSeniorNew
HyperLogLog Cardinality for Real-Time Ad-Auction Analytics
Implement HyperLogLog with precision parameter p in {12, 14, 16} (4KB, 16KB, 64KB sketches) and benchmark relative error on a replayed 3-hour production trace (around 13 billion…
- Hyperloglog
- Probabilistic Data Structures
- Streaming Systems
Randomized Algorithms - DesignSeniorNew
Formal Specification of a Rate-Limit Service in TLA+
Specify the rate-limit service's lease-renewal protocol in TLA+ (PlusCal acceptable for readability). Model 3 invariants: (1) at most one node holds a lease for a tenant at any …
- Tla Plus
- Formal Specification
- Model Checking
Requirements Engineering - CodeSeniorNew
GPU-Accelerated Numerical Optimization for Portfolio Construction
Implement a primal-dual interior-point solver for box-constrained QP in CUDA. Use cuSPARSE for sparse matrix-vector multiply and cuSOLVER for the inner Newton system. Benchmark …
- Numerical Optimization
- Interior Point Method
- Cuda
Scientific Computing and Numerical Methods Get recognized by recruiters and employers.
Credentials are blockchain-anchored via LearnCoin — tamper-evident, portable, link-shareable on LinkedIn and beyond.
Why Ewance
- CodeSeniorNew
Envoy WASM Filter for Per-Tenant Rate Limiting
Implement the filter in Rust using the proxy-wasm-rust-sdk. The filter computes a (tenant_id, endpoint, method) key, calls a Redis token-bucket service via a sidecar HTTP client…
- API Gateway Patterns (Kong, Envoy)
- Wasm
- Rust Programming
Service Mesh and Microservices Networking - CodeSeniorNew
Architecture Patterns Spike for a Real-Time Multiplayer Backend
Implement minimal viable versions of all three patterns in Rust + Go (your pick of split): (1) authoritative server with 20 Hz snapshots and client-side prediction, (2) lockstep…
- Realtime Systems
- Architecture Spike
- Networking Patterns
Software Architecture - DesignSeniorNew
Migrate a 600K-LOC Monolith to a Modular Monolith
Run static dependency analysis on the monolith (using Packwerk + custom Ruby AST scripts, both available) to surface the current implicit modules and the worst cross-module depe…
- Large Scale Codebases
- Modular Monolith
- Static Analysis
Advanced Software Engineering - StrategySeniorNew
Run a Mock Algorithmic-Discrimination Investigation for a Hiring-Tech Vendor
As a 3-person team, design and execute a 3-week mock inquiry. Produce: (1) the demand letter you imagine the regulator sending (scope, legal basis, data requested); (2) the vend…
- Regulatory Analysis
- Algorithmic Fairness
- Ai Governance Frameworks
AI Law, Policy, and Regulation - ResearchSeniorNew
Inductive Logic Programming for a Fraud-Rule Discovery Pilot
You receive a labeled fraud dataset (around 25,000 transactions, around 4% positive class), a feature schema (28 features including device, geo, behavioral history), and a basel…
- Inductive Logic Programming
- Symbolic Ai
- Rule Learning
Fuzzy Logic, Knowledge Representation, and Symbolic Reasoning - CodeSeniorNew
Profile and Cut Inference Cost on a Recommender at Scale
You receive (1) a frozen ONNX export of the production model, (2) a sample request trace of 24 hours at 1% sampling, and (3) a single A100-class GPU sandbox. Profile with NVIDIA…
- Gpu Profiling
- Model Quantization
- Inference Optimization
Machine Learning Systems - DesignSeniorNew
Design a Distributed Training Job for a 13B-Parameter Model
Decide whether to use Fully Sharded Data Parallel (FSDP), Tensor Parallelism, Pipeline Parallelism, or a hybrid; justify against the 13B-param + 32-H100 setup. Calculate memory …
- Distributed Training
- Fsdp
- Pytorch Or Tensorflow
Machine Learning Systems - CodeSeniorNew
Coordinate a Fleet of Warehouse Robots
Implement a simulated warehouse grid with 80 robots solving a pick-and-deliver workload. Design a decentralized coordination protocol (recommend a contract-net or auction-based …
- Multi Agent Coordination
- Decentralized Algorithms
- Simulation
Multi-Agent Systems - ResearchSeniorNew
Structure Learning for a Causal Network in Fintech Risk
You receive the 60-signal dataset and a short interview summary of risk analysts' beliefs about which signals influence which. Use a hill-climbing structure-learning algorithm w…
- Structure Learning
- Bayesian Networks
- Causal Modeling
Probabilistic Graphical Models - CodeSeniorNew
Offline RL for Robot-Arm Skill Reuse
You receive 5,000 logged trajectories (state, action, reward, next-state) across 12 tasks, with 9 tasks for training and 3 held out. Train an offline RL algorithm (CQL or IQL re…
- Offline Rl
- Conservative Q Learning
- Skill Reuse
Robot Learning - StrategySeniorNew
Digital Transformation for a Traditional Swiss Watchmaker
You are a digital transformation lead at Horloge Suisse. Your task is to propose a digital platform strategy that enhances customer engagement and opens new revenue streams. Con…
- Tech Enabled Business Transformation
- Platform Ecosystems
- Blockchain
Digital Strategy and Platforms - DesignSeniorNew
Digital Innovation Lab for a Regional Bank
Your task is to design a blueprint for the innovation lab. Define its structure (e.g., hub-and-spoke, virtual team), governance (e.g., stage-gate process), and funding model. Pr…
- Innovation Lab Design
- Regulatory Compliance
- Legacy System Integration
Digital Transformation
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.