Research Engineer - System Security

DFINITY is looking for an expert in system security. At the core of the Internet Computer lies a WebAssembly-based virtual execution environment that runs user-provided and thus untrusted code. As the Internet Computer is a self-governed open distributed system, security of the virtualization environment is absolutely critical. We are looking for an experienced researcher or engineer,who will participate in the design, analysis and implementation 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 researchers, engineers, and experts in the field of distributed systems, virtual machines, programming languages, and cryptography.


• Address the system security aspects of the architecture, analysis, and hardening of the Internet Computer’s tech stack (from the Linux operating systems up to the execution environment, including TEEs (SEV-SNP), sandboxes and security against side-channel attacks)


• Keep up to date with trends and vulnerabilities in the field


• Provide deep technical insights and communicate them clearly


• 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


• Represent the foundation at academic and industry conferences and share technical information internally as well as with the public

Requirements

• At least 3 years of relevant academic or equivalent experience in system security


• At least 3 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, sandboxes and virtual machines, ideally including knowledge of WebAssembly and TEEs (SEV-SNP)


• Ability to work autonomously as part of a distributed team


• PhD degree in Computer Science or related field or equivalent experience