Remote Senior Formal Verification Engineer (Haskell, Rust, Go)
IOTA Foundation
Remote | Worldwide
Compensation
Contract type
Technologies & frameworks
Benefits & perks
- Remote working
- Flexible working
- Personal development budget
Role overview
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.
IOTA Foundation
- 50-249
The IOTA Foundation is a not-for-profit organization established in 2017 and headquartered in Berlin, Germany. The Foundation’s mission is to drive the development and standardization of new distributed ledger technologies (DLTs) that enable permissionless innovation ecosystems. To realize this potential the IOTA Foundation is actively building a collaborative of developers, start-ups, private enterprises, and government, civil society and academic institutions. We engage in engineering, research and community organizing efforts around the IOTA Tangle – a new generation of DLT specifically designed to be the open and free trust layer for the Internet-of-Things (IoT).
Compensation
Contract type
Technologies & frameworks
Benefits & perks
- Remote working
- Flexible working
- Personal development budget
Get hired!
Sign up now and apply for roles at companies that interest you.
Engineers who find a new job through Blockchain Works average a 15% increase in salary.
Start with GitHubStart with TwitterStart with Stack OverflowStart with EmailGet hired!
Sign up now and apply for roles at companies that interest you.
Engineers who find a new job through Blockchain Works average a 15% increase in salary.
Start with GitHubStart with TwitterStart with Stack OverflowStart with Email