We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through WorksHub average a 15% increase in salary 🚀

You will be redirected back to this page right after signin

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

Remote | Worldwide

20 May, 2021

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Functional Programming
  • Golang
  • Haskell
  • Rust
  • Smart Contracts
  • formal verification

Benefits & perks

  • Remote working
  • Flexible working
  • Personal development budget
Take ownership of thorough security of both new and existing protocol algorithms.

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.

  • 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).

View 1 job
Engineers who find a new job through WorksHub average a 15% increase in salary.

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Functional Programming
  • Golang
  • Haskell
  • Rust
  • Smart Contracts
  • formal verification

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 WorksHub average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through WorksHub average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Other roles that might interest you

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