[hofa] Fwd: [TYPES/announce] Postdoc position in static analysis

[David Van Horn]

-------- Original Message --------
Subject: [TYPES/announce] Postdoc position in static analysis
Date: Thu, 6 Sep 2012 12:56:29 -0600
From: Matt Might <might at cs.utah.edu>
To: types-announce at lists.seas.upenn.edu

[ The Types Forum (announcements only),
      http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The U Combinator research group at the University of Utah has an open
postdoc position in static analysis.  The position, funded by a joint
project between the University of Utah and Northeastern University,
brings the opportunity direct and engage a vibrant laboratory of
graduate students.

Top candidates will exhibit strength in all of the following areas,
but candidates with expertise in at least two areas are encouraged to
apply:

  (1) static analysis,
  (2) functional programming, and
  (3) security.

The aim of the underlying project is to develop precise and scalable
security-oriented static analyses for Android applications.  At the
same time, the project requires deep foundational thrusts in static
analysis of higher-order programs.

The position will be annually renewable by mutual consent for up to
three years, subject to the availability of funding.

To apply, please send a CV and a brief statement of interest to Matt
Might (might at cs.utah.edu).