Researcher - Operating Systems

DFINITY   •  

Palo Alto, CA

Industry: Telecommunications

  •  

Less than 5 years

Posted 34 days ago

We are looking for a researcher and engineer who will participate in the design and implementation of a capability-based operating system layer for distributed cloud computing. The platform is a blockchain-based environment where actor-style entities (a.k.a. “smart contracts”) take the role of processes that communicate via asynchronous message passing. The platform uses WebAssembly as its code format and virtual machine. It needs to be scalable and reliable for potentially hundreds of thousands of third-party clients of the platform.

Responsibilities

  • Work closely with a distributed team of researchers, engineers, and experts in the field of distributed systems, virtual machines, programming languages, and blockchain cryptography
  • Contribute to the design and implementation of a new domain-specific operating system and its interfaces between WebAssembly code, network, and clients
  • 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 with low-level (C/C++, Rust) and high-level languages (Haskell, Ocaml), ideally also including dynamic ones (JavaScript)
  • Solid understanding of the theory and practice of advanced concurrent and distributed systems, including the actor model and related approaches as well as capability-based security
  • Working understanding of compilers and virtual machines, ideally including knowledge of WebAssembly
  • Experience in writing scientific papers and giving presentations
  • Ability to work autonomously as part of a distributed team
  • PhD degree in Computer Science or related field