Formal Verification Engineer (m/f/d)

This job has now expired please search on the home page to find live IT Jobs.

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 systemConduct research on formally verifying software updates for PolkadotLiaise with external formal verification teams to guide their efforts on related projectsSupport internal Grants team for any formal verification applications. For example, by helping them scope and evaluate deliverables Required skillsVery good knowledge in formal verification frameworks, e.g. TLA+, Coq, and functional programming languages, e.g. HaskellFamiliar with formal specification and verification of distributed and decentralized systemInterest in blockchain technologyGood background in formal methods and program verificationLanguage: EnglishNice 2 HavesExperience with Substrate or WasmExperience and proficiency in other languages such as JavaScript, C, C++CI & Automation toolsExperience or willingness to learn rust / goFurther informationLocation: Switzerland or EuropeRemote: PossibleStart date: ASAPDuration: 6+ MonthInterested?If you would like to apply for this project as Formal Verification Engineer (m/f/x), please contact me via phone 0044 588 2623 for more information. Or you can apply directly by clicking the Apply button / send me (Kai Zipper) an e-mail: k.zipper(a)computerfutures.chWe are looking forward to your application.Sthree Switzerland is acting as an Employment Business in relation to this vacancy.