Salary
Contract type
Technologies & frameworks
Benefits & perks
- Generous pto
- Full healthcare coverage
- Stock options
- Pension
- Parental leave
- 401k
- Competitive salary
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.
Salary
Contract type
Technologies & frameworks
Benefits & perks
- Generous pto
- Full healthcare coverage
- Stock options
- Pension
- Parental leave
- 401k
- 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 TwitterStart with Stack OverflowStart with EmailGet 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 TwitterStart with Stack OverflowStart with Email