Open positions

PhD, MS, and BS Research Positions in implementing, improving, and checking distributed algorithms, and using them in interesting and important applications.

Those with sufficient experience can also work on automatic compilation, optimization, analysis, verification, as well as language design and framework building. 

Stony Brook University, State University of New York (on Long Island, New York)

   Strong background and preparation in at least one of the following areas:
  • Program design and implementation
  • Algorithms
  • Logic and reasoning
  • An application area
This is part of an NSF-funded project
    Configuration for Assurance: Safe, Live, and Secure Distributed Systems

   Annie Liu,, and Scott Stoller,

Lamport's distributed mutual exclusion algorithm in DistAlgo