Microsoft Research PhD Scholarship on Concurrent Software Verification A PhD student position is available in the Department of Computer Engineering at Koc University, Istanbul, Turkey. The student will carry out research on the verification of concurrent software. This proof system will generalize the QED proof system described in our paper titled "A Calculus of Atomic Actions" that appeared in POPL '09.
The project is funded by a Microsoft Research PhD Scholarship -- one of 18 such positions in Europe in 2010. The position is supervised by Dr. Serdar Tasiran of Koc University, and Dr. Shaz Qadeer of Microsoft Research, Redmond, WA, USA. See the link below for further information. http://research.microsoft.com/en-us/collaboration/global/open-phd-positions.aspx#multicore The Microsoft Research PhD Scholarship and Koc University will provide to the PhD student the following benefits: - A monthly stipend (3000 TL/month net, roughly 1250 Euros/month) - Annual summer schools at Microsoft Research, Cambridge, UK. An opportunity to interact with world-class researchers. - Paid internship opportunities at Microsoft Research Laboratories. Scholars are paid in addition to their scholarship bursary. - A laptop computer and software provided by Microsoft Research. - Housing and health insurance. Please contact Serdar Tasiran ([email protected]) to obtain more information and apply. Serdar Tasiran http://home.ku.edu.tr/~stasiran http://theorem.ku.edu.tr
_______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
