Remote Senior Formal Verification Engineer (Haskell, Rust, Go)

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.