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)

Requirements:

    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

    http://distalgo.cs.stonybrook.edu/

Contacts:

   Annie Liu, liu@cs.stonybrook.edu, and Scott Stoller, stoller@cs.stonybrook.edu