Job Openings
Number of jobs: 2
-
Senior-Formal-Methods-Engineer
2025-01-09Why 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 and correct. Once deployed, they are public and c... -
Senior-Formal-Methods-Engineer
2024-11-24Summary
As a Formal Methods Engineer at IO you will work closely with an engineering team, IOE broadly and the Cardano Community in providing high assurance and mathematical rigor and clarity to design and implementation. This enhances the...
