Open positions

Postdoc Position in the areas of

Languages/Compilers and Verification of Distributed Algorithms at

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


   Ph.D. in Computer Science or a closely related field

   Strong research experience in at least one of the following areas:

  • Languages/compilers

  • Verification

  • Distributed algorithms

Starting: as early as possible.  Duration: 1 or 2 years with possibility of renewal

This is part of an NSF project, From Clarity to Efficiency for Distributed Algorithms


   Annie Liu,, and Scott Stoller,

Please submit a CV, a research statement, and a list of 3 references at (use Requested Position: PostDoc-DistAlgo and Sites: CS)

Lamport's distributed mutual exclusion algorithm in DistAlgo: