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)
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 project, From Clarity to Efficiency for Distributed Algorithms
http://sites.google.com/site/distalgo
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: