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 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!

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

Formal Methods Engineer

Zurich, Switzerland

31 July, 2020

Salary

Competitive

Contract type

Full time

Technologies & frameworks

  • JAVA
  • JAVASCRIPT
  • DAML
  • Haskell
  • Scala

Benefits & perks

  • 401k
  • Generous pto
  • Pension
  • Parental leave
  • Full healthcare coverage
  • Stock options
  • Competitive salary
Digital Asset is on a mission to create the global economic network of seamlessly interconnected businesses.

Role overview

The Opportunity

As a part of the architecture team, the formal methods engineer designs, models and communicates our architecture and our smart contract language and formally analyzes the models, both with pen and paper and with mechanized verification tools.

Key Responsibilities

  • Design, document, and communicate features of the architecture and the smart contract language
  • Mathematically model the features and prove properties, both on paper and with mechanized verification tools
  • Problem-solve in functional programming.
  • Document and understand challenges to deploy to the client and related partner environments.
  • Keep a healthy mindset and attitude towards quality assurance.

Key Criteria

  • PhD in formal methods/formal verification
  • Hands-on experience with interactive theorem proving, fault tolerance, distributed systems
  • Functional programming
  • Experience with modelling and reasoning about security
  • Direct and transparent verbal and written communications, including research and technical writing skills, with the willingness to work with distributed teams and different cultures
  • You work hard and are a self-starter, confident and "all in"
  • You want to be proud of what you build as a team

  • 50-249
  • New York, NY, US

Digital Asset is on a mission to create the global economic network of seamlessly interconnected businesses. By building a state-of-the-art platform and developer tools and leveraging the best modern infrastructure providers, we can change how businesses interact. Ambitious teams — from startups to the enterprise — are joining the network to build fundamentally new applications that span industries. The changing nature of business Businesses are more interconnected than ever before, and current technologies enable data replication but not shared processing. Inaccessible assets, undifferentiated replication, and incompatible APIs lead to duplicated efforts and siloed infrastructure. There is a better way. Digital Asset’s global economic network enables teams to get to market faster, focus on their core value, and unleash web-paced innovation for all industries. Backed by global innovation leaders Digital Asset is backed by 17 strategic investors, including leading financial and technology companies that are uniquely positioned to help drive the adoption of Digital Asset’s developer tools and DLT solutions on a global scale.

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

Salary

Competitive

Contract type

Full time

Technologies & frameworks

  • JAVA
  • JAVASCRIPT
  • DAML
  • Haskell
  • Scala

Benefits & perks

  • 401k
  • Generous pto
  • Pension
  • Parental leave
  • Full healthcare coverage
  • Stock options
  • Competitive salary

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

Digital Asset is on a mission to create the global economic network of seamlessly interconnected businesses.
Digital Asset is on a mission to create the global economic network of seamlessly interconnected businesses.
Monitor, evaluate and upgrade the latest generation Proof-of-Stake blockchain networks
Remote
Formal Methods Engineer