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)

Requirements:
   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-funded project
    From Clarity to Efficiency for Distributed Algorithms
    Configuration for Assurance: Safe, Live, and Secure Distributed Systems
    http://distalgo.cs.stonybrook.edu/

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

Please submit a CV, a research statement, and a list of 3 references at
   http://hiring.cs.stonybrook.edu (use Requested Position: PostDoc-DistAlgo and Sites: CS)


Lamport's distributed mutual exclusion algorithm in DistAlgo