Distributed Computing (Research)
Investigate theoretical bounds of asynchronous distributed systems, Byzantine fault tolerance (BFT), and formal impossibility theorems (FLMP).
Salary Benchmarks
- Local Market (Pakistan): PKR 150k - 500k/mo
- Global Market (USD/Remote): $60k - $180k/yr
Core Technical Skills & Frameworks
- TLA+ Formal Specification
- Byzantine Agreement Proofs
- Asynchronous Networks
- Formal Verification