www.acad.jobs : academic jobs worldwide – and the best jobs in industry
                
     
Position: Formal Verification Engineer
Institution: Web3 Foundation
Location: Zug, Switzerland
Duties: Conduct formal verification proofs on key algorithms and protocols designed by the Web3 Foundation 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
Requirements: 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
   
Text: Web 3.0 Technologies Foundation Job Openings Formal Verification Engineer Research & Technology · Zug, Zug Apply for This Job Department Research & Technology Employment Type Full-Time Minimum Experience Experienced 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 for outstanding candidates. Formal Verification 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 Responsibilities Conduct formal verification proofs on key algorithms and protocols designed by the Web3 Foundation 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 Requirements 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 A plus PhD in Computer Science or similar with a focus on formal verification 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 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 : Web3 Foundation website: https://web3.foundation/ Polkadot website: https://polkadot.network/ Github: https://github.com/w3f/ Apply for This Job Apply for this Position Thank You Your application was submitted successfully. This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply. Apply for This Job Link to this job Location Zug, Zug Department Research & Technology Employment Type Full-Time Minimum Experience Experienced Privacy Policy · Terms of Service · © 2008-2021 BambooHR All rights reserved. Submit Application Cancel
Please click here, if the job didn't load correctly.
Your browser does not support iframes. Please click <a href="https://www.acad.jobs/job.php?t_id=J000342134&redirect" target="_parent" style="color:#7A7A7A">here</a>, if the job didn't load correctly.