Search jobs 🔎
Filter +240K jobs from +16K companies and find your dream job. 🪄
Formal semantics
📍 Location
👵 Seniority
✏️ Employment
😎 Benefits
🙏 SDGs
🏭 Categories
📫 Job opened
Filter +240K jobs from +16K companies and find your dream job. 🪄
📫 Job opened
Remote🇬🇧Added 5 days ago
Head of Architecture
Founded in 2015, IO Global is one of the world’s pre-eminent blockchain research and engineering companies (software development)
BlockchainFormal methodsProgramming languagesProgramming modelsSymbolic model checkingFormal semanticsProof assistantsLanguages and compilersDistributed consensus
Get notifications to your inbox about new jobs.
No spam. No ads. Unsubscribe anytime.