(Senior) Formal Verification Engineer at IOTA Foundation

(Senior) Formal Verification Engineer

IOTA Foundation

Posted 16 days ago


As a Formal verification engineer, you will take ownership of thorough security of both new and existing protocol algorithms. This position is part of the IOTA Smart Contracts protocol (ISCP) effort. The ideal candidate has existing background and interest in applying formal software verification methods.


Design and drive software specifications to a successful conclusion
Be actively involved in setting product and technical direction
Apply formal verification procedures and methods to the development of the IOTA Smart Contracts protocol, as well as other efforts across the foundation.
Be an advocate for the formal software verification practice across the Foundation
Collaborate with other engineering and research teams, as well as external teams
Develop high-quality software solutions based on validated specifications
Perform and thrive in an environment where your work can change rapidly in response to customer feedback and data
Be a part of a self-organising, results-oriented agile team
Participate in and help transform cutting-edge research into practical software products
Implement software development best practices and collaborate with other software projects in open-source DLT space
Engage with the IOTA community


Your Personality

Self-driven individual who takes responsibility for projects from their inception
Ability, desire, and dedication to pick up new platforms or technologies as well as improve in existing ones

Your Expertise

A strong performance history
Background in functional programming languages, such as Haskell
Experience in formal software verification methods and techniques
Ability to understand and implement cryptographic primitives
Proven track record in designing software algorithms and data structures
Strong background in Computer Science, Mathematics or another quantitative field together with experience in formal verification of algorithms
Experience with Smart Contracts a plus
Experience in Rust and Go a plus. Willingness to learn Rust and Go otherwise

What we offer

The opportunity to work with the brightest minds in the industry
The opportunity to make a true difference
Culture of trust, empowerment and constructive feedback
A flexible and agile organization with a flat hierarchy
Independence and responsibility from day one

The IOTA Foundation is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.


Haskell, Functional programming, Go, Rust



Share this opportunity:

Post a Job Posting a job is FREE. Upgrade for $199 to get:
- Unlimited applications
- Highlighted in home page for 30 days
- Web push instant notification to subscribed candidates
- Featured in the CryptoJobs weekly newsletter
- @GetCryptoJobs tweets to hundreds of developers.

CryptoJobs is the #1 website for blockchain jobs. We believe the emergence of blockchain technology and decentralized applications will change the world as we know it, and it’s already happening. We’re on a mission to connect talented individuals to the best blockchain projects, to accelerate the advent of a more decentralized world.

Join 15,000+ crypto enthusiasts for weekly updates:

Follow CryptoJobs on:

Browse by categories

Browse by skills

Browse by top locations