DFINITY is looking for a full-time researcher specialized in Distributed Systems. At the core of the Internet Computer lies the protocol responsible for Byzantine fault-tolerant state machine replication and its implementation. Your main tasks include the design, development and analysis of dependable and scalable algorithms, protocols and distributed system architectures with provable guarantees (failure-resilience, optimality, security, incentive compatibility, and beyond) to increase the scope, efficiency and security of the Internet Computer. We offer a flexible work style with the chance to work in a very dynamic team of a world-class team of computer science researchers and engineers from all around the world.
Responsibilities:
- Work closely with a distributed team of engineers and researchers to develop secure, reliable and scalable solutions, from problem identification and solution conception to production
- Create designs, specifications and documentation of the next iterations of the Internet Computer Protocol
- Provide deep technical insights and communicate them clearly
- Keep up to date with trends and new developments in the field
- Write high-quality research papers targeted at leading conferences and journals
- Represent the foundation at academic and industry conferences and share technical information internally as well as with the public
Requirements:
- PhD in Computer Science or related field
- Experience in the design, analysis and implementation of distributed protocols
- Excellent written and verbal communication skills, and ability to collaborate effectively both with other research and engineering teams
- Understanding of cryptographic protocols and experience using cryptographic primitives
- Strong record of peer-reviewed publications in top venues or other evidence of excellence
- Experience as a professor, postdoctoral researcher or industry researcher is a plus
- Experience in blockchain technology, cryptocurrency or formal methods is a plus
- Experience with Rust programming is a plus
* Please note that this role requires in-office work from our amazing office in Zurich 3 days per week
About DFINITY and the Internet Computer:
DFINITY is a leading contributor to the Internet Computer Protocol (ICP), with a mission to bring the world's compute onto the secure ICP network. Built on its unique third-generation blockchain technology, ICP enables the development and operation of a new generation of unstoppable, tamper-proof, fully decentralized web applications. Its powerful technology can run entire AI models within smart contracts, representing a major advancement for secure AI. Through seamless integration with Bitcoin, Ethereum, and other networks, ICP facilitates multi-chain operations for digital assets and web3.
Join our team of over 250 talented individuals, including world-renowned cryptographers, distributed systems engineers, programming language experts, and industry leaders, who are shaping the future of the internet and web3.
DFINITY was founded in 2016 by entrepreneur and crypto theoretician, Dominic Williams.
All qualified applicants will receive consideration for employment without regard to race, color, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, disability, age, or veteran status.
Top Skills
What We Do
The DFINITY Foundation’s mission is to build, promote, and maintain the Internet Computer — the world’s first web-speed, internet-scale public blockchain. It enables smart contracts to securely serve interactive web content directly into the browsers of end users, making it possible to build dapps, DeFi, open internet services, and enterprise systems that are capable of operating at hyperscale. The Internet Computer uses smart contracts to power an emerging decentralized ecosystem of interoperable dapps and services, where nearly every system and service can run in reimagined form on public blockchain.
