
[Apologies to subscribers of haskell@haskell.org, where this message already appeared, but it was suggested that haskell-cafe might be a better place to reach potential applicants.] The Stanford Secure Computer Systems research group seeks an experienced Haskell programmer to participate in research on secure, robust software systems. The primary responsibility will be to collaborate closely with other researchers in building a Haskell web framework that achieves security through a novel approach to dynamic information flow control. The job will provide access to Stanford's world-leading Computer Science faculty and students; it will furthermore allow considerable freedom to pursue other collaborations and side projects that advance the state of the art in host security and produce scientific publications. To maximize impact, software developed as part of these efforts will be released under a free-software license; moreover, duties may include developing documentation or educational materials that promote adoption of the research output or of Haskell in general. The position requires significant Haskell expertise, including knowledge of the Glasgow Haskell Compiler (ghc), optimization pragmas, the foreign function interface, debugging, and performance-tuning. In addition, while not required, any of the following qualifications will be helpful and should be highlighted in applications: - Experience publishing or maintaining a package on hackage. - Experience programming in C. - Knowledge of web programming and JavaScript. - A broad understanding of operating systems and networking concepts. - A Ph.D. in Computer Science. - Previous research or peer-reviewed publications. This is a two-year fixed-term position with the possibility of extension. While the position can potentially become permanent, we also welcome applicants who view it as a stepping stone to a research or faculty career elsewhere or to a start-up company. The faculty members involved in this project have a track record of placing students, staff, and post-doctoral researchers at prestigious institutions and will provide a level of mentoring appropriate to the successful candidate's qualifications and ambitions. Note that Stanford can sponsor visas for foreign nationals when necessary. For questions about this position, please email Prof. David Mazieres from the following web page: http://www.scs.stanford.edu/~dm/addr/ To apply for this position: - Go to http://jobs.stanford.edu/find_a_job.html - Enter 40012 in the Keyword Search box. - Click on the job listing link. - Scroll down to the bottom and click on "Apply" to upload a resume and cover letter. Or access the on-line job posting from this URL: https://recruit.trovix.com/jobhostmaster/jobhost/ViewJobPostDetails.do?jobPostId=njxfd6fgqncgpaggoswjfy22bd&accountId=de85ad313f8598db1c42b567a3df24a00497ba22&button=&action=viewDetails Or apply directly at the following link: http://jobs.stanford.edu/find_a_job.html?accountId=de85ad313f8598db1c42b567a3df24a00497ba22&jobPostId=njxfd6fgqncgpaggoswjfy22bd&action=applyToJobEmail