The Web3 Foundation nurtures and stewards technologies and applications for the decentralized web. We collaborate with cutting-edge developer teams, researchers and community leaders to strengthen and extend the uses of decentralized technologies; building the future of identity, privacy, financial markets, commerce, and more.
Our core project at the moment is Polkadot, a protocol designed to connect blockchains and allow them to interoperate, share security and more. In addition, we are supporting the development of a number of technologies that form the Web 3.0 tech stack - such as decentralized messaging, distributed storage and secret management.
We are a lean team with a flat organization. This position is based in Zug, Switzerland but we would consider remote (EU) working.
Formal Verification Research Engineer Role
As part of our research team, we are looking for a formal verification enthusiast who would be eager to strategize and lead our endeavor of bringing practical formal verification to Polkadot.
Apart from the in-house efforts within W3F’s Security and Research Teams, there has already been quite an interest from the community to assist with the formal verification of our algorithms and protocols.
We are working on new algorithms for Polkadot and improving the current ones, we therefore need to ensure that they are secure and that no flow paths have been missed that could undermine protocol correctness.
To apply to this position, we ask you to answer a few questions in the application form, and to submit your CV and a cover letter, telling us a bit about yourself and your motivation to join us.
For more details on the above algorithms and an overview of other ongoing work at the Web3 Foundation Research Team see: https://research.web3.foundation/en/latest/polkadot/protocols.html.
For more information about us, visit us on the:
Your application was submitted successfully.