Beschreibung
Are you an experienced Formal Verification Engineer (m/f/d) looking for a new project? Our client, a small company which nurtures and stewards technologies and applications for the decentralized web offers an interesting and exciting opportunity for Formal Verification Engineer (m/f/d).In this project, your main task would be to bring practical formal verification to Polkadot.
Polkadot is a heterogeneous multi-chain interchange and translation architecture which enables customised side-chains to connect with public blockchains.
Your role as Formal Verification Engineer (m/f/d)
- Conduct formal verification proofs on key algorithms and protocols designed by our Clients Research Team for the Polkadot system
- Conduct research on formally verifying software updates for Polkadot
- Liaise with external formal verification teams to guide their efforts on related projects
- Support internal Grants team for any formal verification applications. For example, by helping them scope and evaluate deliverables
Required skills
- Very good knowledge in formal verification frameworks, e.g. TLA+, Coq, and functional programming languages, e.g. Haskell
- Familiar with formal specification and verification of distributed and decentralized system
- Interest in blockchain technology
- Good background in formal methods and program verification
- Language: English
Nice 2 Haves
- Experience with Substrate or Wasm
- Experience and proficiency in other languages such as JavaScript, C, C++
- CI & Automation tools
- Experience or willingness to learn rust / go
Further information
- Location: Switzerland or Europe
- Remote: Possible
- Start date: ASAP
- Duration: 6+ Month
Interested?
If you would like to apply for this project as Formal Verification Engineer (m/f/x), please contact me via phone for more information. Or you can apply directly by clicking the Apply button / send me (Kai Zipper) an e-mail: k.zipper(a)computerfutures.ch
We are looking forward to your application.
Sthree Switzerland is acting as an Employment Business in relation to this vacancy.