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:
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 ![]() |