Zum Suchergebnis

Formal Methods Engineer

Zürich - ZH - 8048

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 driven by 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 HR@digitalasset.com.
Visit : 7
Stellenangebot Details
Arbeitsort 8048 Zürich
Arbeitspensum 100%
Stellenantritt 05.12.2018
Digital Asset (Switzerland) GmbH

Pilav Darko
Luggwegstrasse 9
8048 Zürich


Pilav Darko

Copyright 2017 Jobrider.ch // All rights reserved.