[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The programming languages group in the Department of Computer Science at the University of Maryland is offering a post doctoral position in static analysis. Description ----------- The aim of the project is to develop new, programmer-centered static analysis techniques to help improve the reliability and security of software. There have been many successes in recent years in developing lightweight, scalable static analysis tools that find defects in software. However, users of such tools have little recourse when they want to move beyond bug finding towards sound verification of complex properties. The goal of this project is to address this problem by developing ways for programmers to gradually refine static analysis to add assurance to their software. The work will include both theoretical development and implementation of practical tools. Requirements ------------ Applicants to this position must have received their PhD, or completed the requirements for their PhD, when the appointment begins. A strong background in the theory and/or implementation of static analysis (of any kind---type systems, constraint-based analysis, dataflow analysis, model checking, theorem proving, abstract interpretation, or others) is highly desirable. * Application deadline: April 7, 2008 for full consideration. The position will remain open until filled. * Start date: June 1, 2008 (negotiable) * Duration: 1-2 years, depending on funding availability Interested candidates should send their CV to [EMAIL PROTECTED] and arrange to have two letters of recommendation emailed to the same address. Additional information ---------------------- Questions about this position should be directed to [EMAIL PROTECTED] For more information about the Maryland PL group, please visit http://www.cs.umd.edu/projects/PL/ The University of Maryland is an equal opportunity, affirmative action employer. Women and minorities are strongly encouraged to apply. Jeff