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

David Van Horn dvanhorn at ccs.neu.edu
Fri Sep 7 00:24:51 PDT 2012

-------- 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

  (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).

More information about the HOFA mailing list