CareersBe part of changing the financial servicesindustry while working alongsidethe best and brightest. ResourcesView news coverage, videos, blog postsand white papers about Digital Assetand its technology. BlogStay up to date with the latestannouncements and blog postsfrom Digital Asset. ContactContact us for more informationabout the Digital Asset Platformand our services.

Formal Methods Engineer 

Position in Zürich.

About Digital Asset

Digital Asset is among the fastest growing, most recognized fintech start-ups globally and is the market leader in developing distributed ledger technology applied to the market infrastructure and financial services sector. Backed by leading financial institutions, infrastructure providers and financial software providers, the company is delivering enterprise-grade solutions for post-trade services.

A growth company and industry leader, Digital Asset brings an unyielding approach to advancing client interests. Simply stated, our vision is for a better global financial system, enabled by distributed ledger technology.

  • Our culture is "all-in" and rewards directness, integrity and excellence.
  • We value each other, what we do for our clients and how we do it.
  • Our mission is delivering breakthrough distributed ledger solutions.

As we grow our team, we will maintain the dynamic, collaborative and pragmatic way of working that has grounded our efforts from the beginning.If you seek to develop solutions others are yet to contemplate and are drivenby the opportunity to have impact, the following opportunity may be right for you.

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

Connect With Us

This is a rare opportunity to help define an industry and join a powerful team of financial services and technology innovators from cross sector startups and enterprise.

Digital Asset is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, national origin, sex, religion, sexual orientation, age, disability, citizenship status, veteran status or any other basis protected by applicable law. Applicants with disabilities who require accommodation should contact

01. Apply

First Name
First Name
Last Name
Last Name
Your Cover Letter
About you
About you
Too Small!
Make your browser window bigger.
Increase your browser width since we are still
working on the mobile version.
For a nice experience
please update your browser.