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 apply for this job!

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 Functional Works average a 15% increase in salary ๐Ÿš€

You will be redirected back to this page right after signin

Remote Senior Formal Methods Engineer (Haskell)

Remote | Worldwide

11 June, 2021

Compensation

$30K - 500K + Equity

Contract type

Full time
Remote working

Technologies & frameworks

  • Agda
  • Cardano
  • Haskell
  • Idris
  • isabelle
  • tla+
  • lean

Benefits & perks

  • Remote working
  • Flexible working
  • Paid sick days
  • Token equity
  • Committed to a diverse team
SundaeSwap, the largest Cardano DEX project is seeking a Senior Formal Methods Engineer.

Role overview

We need a Senior Formal Methods Engineer to help with:

  • Translating English, informal descriptions of protocols into formal specifications in a proof assistant;
  • Formally proving properties about these protocols
  • Identifying vulnerabilities in the protocols
  • Participating in design discussions to eliminate vulnerabilities
  • Helping the team in extracting those protocols to Haskell / Plutus.
  • 1-9

SundaeSwap is developing the first DEX on the Cardano Blockchain.

View 2 jobs
Engineers who find a new job through Functional Works average a 15% increase in salary.

Compensation

$30K - 500K + Equity

Contract type

Full time
Remote working

Technologies & frameworks

  • Agda
  • Cardano
  • Haskell
  • Idris
  • isabelle
  • tla+
  • lean

Benefits & perks

  • Remote working
  • Flexible working
  • Paid sick days
  • Token equity
  • Committed to a diverse team

Get hired!

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

Engineers who find a new job through Functional Works 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 Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Other roles that might interest you

Functional developer with Haskell experience looking to work on exciting smart contacts project
Remote
SundaeSwap, the largest Cardano DEX project is seeking a Senior Haskell Engineer.
Remote
Remote Senior Formal Methods Engineer (Haskell)