Formal Methods Engineer 

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

Work as part of the globally distributed engineering team, together with the product and design teams, to define, develop and deliver on products.

Success in this Role

• Be involved in all aspects of the software development life-cycle.
• Problem-solve in functional programming.
• Document and understand challenges to deploy to the client and related partner environments.
• Keep a healthy mindset and attitude toward quality assurance.
• Our core technology stack is Javascript, AngularJS, Java, with Scala and Haskell used by certain teams.

What You'll Need to Succeed

• PhD in formal methods/formal verification
• Hands-on experience with interactive theorem proving, fault tolerance, distributed systems
• Functional programming
• Direct and transparent verbal and written communications, including research and technical writing skills, with the willingness to work with distributed teams and different cultures
• Experience with verification of security protocols
• 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.