📝 DRAFT — (Senior) Formal Verification Engineer at IOTA Foundation

(Senior) Formal Verification Engineer IOTA Foundation 💼 Tech ⏰ Full Time 🌍 Remote

posted 1155 days ago ✅ 1 applications

About the Job

Mission:

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.

Responsibilities:

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

Requirements

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.