[Crypto Job Offering] Formal Methods Engineer - Cardano ledger - Remote UK

[JobHunter]

Formal Methods Engineer - Cardano ledger - Remote UK

Duties

Build formal artifacts from research and architectural guidance, and business and engineering requirements.
Model the performance of formally specified systems
Produce prototypes and simulations
Refine specifications, using the performance models and simulations to gauge the impact of design decisions during refinements
Discover new properties about the specifications and their implications
Prove properties of the specifications and of the correctness of refinement steps
Communicate with both researchers and developers, and act as a bridge between the two: you will provide feedback to researchers about issues that come up when their work is incorporated into real world systems. You will assist developers in understanding your specifications and in turning them into production code
Report on your work, in the form of blog posts, technical report documents, presentations at internal seminars, as well as at workshops and conferences, and/or by contributing to academic papers
Participate in code reviews
Contribute property-based tests, both for testing properties of the executable specifications/prototypes, and for verifying production code against the executable specifications
Contribute to the implementation, extension, and maintenance of custom static analysis tooling
Work in an international team across multiple time zones
Break down large and complex tasks assigned to you into workable items, and work on them independently
Share specialized knowledge with other team members
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
Software engineering skills
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
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 or currently pursuing one
Experience in a functional language, preferably Haskell
Experience working and collaborating with Git
Prior experience with theorem provers or model checkers 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