Job Detail

DFINITY is reimagining the Internet as a public network that hosts secure software and services. The Internet Computer is a new technology stack that is unhackable, fast, scales to billions of users around the world, and supports a new kind of autonomous software that promises to reverse Big Tech’s monopolization of the internet. DFINITY was founded in 2016 by Dominic Williams and is backed by top-tier institutions including Polychain Capital and Andreessen Horowitz.

At the core of the Internet Computer lies a WebAssembly-based virtual execution environment that runs user-provided code (canister) and enables that canister to interact with other canisters as well as receive calls from external parties. As the Internet Computer will be a self-governed open distributed system, security of the virtualization environment is absolutely critical. We are looking for an experienced researcher and engineer in the area of secure virtualization who will participate in the design, analysis and implementation of the Internet Computer.

Responsibilities:

• Work closely with a distributed team of researchers, engineers, and experts in the field of distributed systems, virtual machines, programming languages, and cryptography.


• Address the security aspects of the design, analysis, and implementation of a new domain-specific operating system (including security against side-channel attacks)


• Contribute to documentation, test suites, tools, and libraries supporting these systems


• Lead or participate in scientific publications and engage in conferences in related subject fields

Requirements:

• At least 3 years of relevant academic or equivalent experience in operating systems, distributed systems, concurrency, security, and related fields


• At least 2 years of experience in systems programming (C/C++, Rust) 


• Solid understanding of the theory and practice of advanced concurrent and distributed systems


• Working understanding of operating systems, compilers, and virtual machines, ideally including knowledge of WebAssembly


• Ability to work autonomously as part of a distributed team


• PhD degree in Computer Science or related field

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.