[Crypto Job Offer] Formal Methods Engineer (Marlowe) - Remote UK

[JobHunter]

Formal Methods Engineer (Marlowe) - Remote UK

Requirements
Key Competencies

Deep thinking, problem solving
Ability to understand and translate overview of complex ideas and break it down simply for yourself and others
Bridge between research and engineers
Translate and reshape information for the coders to understand properly
Telling researchers when there is a discrepancy - feedback to research
To be able to receive input from researchers thoroughly understand and translate information into final code
Continuously brings fresh ideas to the mix
Ability to function well in a team
Be versatile and enjoy a fast-paced, ever-changing environment
Be a savvy problem solver
Ability to explain complex concepts in documents and presentations
Education / Experience

A higher degree in Computer Science or a related field
A minimum of 2-3 years of experience in a functional language, preferably Haskell
Experience working and collaborating with Git
Prior experience with theorem provers, solvers, or model checkers is essential
Experience with static analysis is essential
Experience in one or more of the domains we are working in (networking, distributed systems, programming language design, blockchain applications) would be a bonus.
Demonstrated ability to work on difficult problems in a self-driven way

Apply here
Only Logged in users can see this hidden link , Please Create an account or Login to your account