Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
John Boyland Department of EE & Computer Science University of Wisconsin-Milwaukee Research Assistantship Position for Doctoral Student, starting Fall 2008 I am looking for a doctoral student to fill a research assistant position in implementing "fractional permission"-based Java checkers. I have money from the NSF for two years support and hope to get continuing support if progress is made. The task is intended to grow into a doctoral dissertation. Women and members of underrepresented minority groups are especially encouraged to apply. The prospective student should meet the following qualifications: - be accepted to UWM Engineering PhD program in Computer Science (or be currently applying); - already possess a master's degree (or equivalent) in Computer Science with a programming language or compiler emphasis; - show promise in research, such as having co-written a paper; - have implemented a meta-language processor, such as a compiler or interpreter; - have taken a Program Analysis course (using Nielson, Nielson and Hankin or similar text), or have taken a Type Theory course (using Pierce's or a similar text). Support for the second year is conditional in having made progress in the first year. Support for the third and later years is conditional on external recognition of progress enabling further funding. Applicants should send a letter of application and supporting materials to John Boyland . Materials such as transcripts and general recommendation letters can be accessed through the student's application materials on file. For full consideration, applications should be received by March 1st, 2008. UWM CEAS is an equal opportunity employer.