[TYPES/announce] Postdoc in static analysis at the University of Maryland

[Jeff Foster]

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 mebyrns at cs.umd.edu and
arrange to have two letters of recommendation emailed to the same
address.

Additional information
----------------------

Questions about this position should be directed to
jfoster at cs.umd.edu.

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