Back to all jobs

Software Engineer (Engineer III to Principal) – Formal Methods

Senior Posted about 18 hours ago Jobicy AI
Engineer

AI summary: Develops and verifies blockchain protocols and smart contracts using formal methods to ensure provable security.

Description

Why us? Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure...
Apply on source