Formal Verification Engineer

  • Salary: Excellent
  • REF Number: 00049596
  • Consultant: Alex Tosney
  • Contact: 0044(0) 1246 457 718
  • Date Published: 12.01.2021
  • Sector: Blockchain
  • Location: Zug, Switzerland, Switzerland (Zurich area)
  • Discipline: Technology

CK Group are recruiting for a Formal Verification Engineer to join an established and well respected start-up research organisation looking to lead the development and adoption of decentralised web technologies and framework. This is an exciting opportunity to join a fully funded start-up organisation in a permanent position to drive the development of blockchain technology headed by some of the leading names in the field.

The main purpose of the role will be to:

  • Conduct formal verificationproofs on key algorithms and protocols designed by the Research Team for their systems
  • Conduct research on formally verifying software updates
  • Liaise with external formal verification teams to guide their efforts on related projects
  • Supportinternal Grants team for any formal verification applications. For example, by helping them scope and evaluate deliverables

In order to be considered for this role, you will be required to have the following qualifications, skills and experience:-Knowledge and understanding of blockchain technologies and applications

  • Masters in Computer Science or similar.
  • Solid background in formal methods and program verification
  • Extensive experience with formal verification frameworks, e.g. TLA+, Coq, and functional programming languages, e.g. Haskell
  • Familiar with formal specification and verification of distributed and decentralized systems
  • Approachable personality and clear communication style in English
  • Demonstrated ability to manage relationships with many external parties

Although it is preferred for this role to be based with the team in Switzerland, other EU locations and remote working may be considered for exceptional candidates.

For more information or to apply for this position, please contact Alex Tosney on 0044(0) 1246 457 718 or email Please quote reference 49596 in all correspondence.

We'll store this in session so if you're applying for multiple jobs today so you can use this as a base.