Formal Verification Engineer (m/f/d)

Switzerland  ‐ Vor Ort
Dieses Projekt ist archiviert und leider nicht (mehr) aktiv.
Sie finden vakante Projekte hier in unserer Projektbörse.

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.
Start
02/2021
Von
Sthree Switzerland
Eingestellt
16.01.2021
Projekt-ID:
2030273
Vertragsart
Freiberuflich
Um sich auf dieses Projekt zu bewerben müssen Sie sich einloggen.
Registrieren