[hofa] Fwd: [TYPES/announce] Postdoctoral researcher position at Rice University
David Van Horn
dvanhorn at ccs.neu.edu
Wed Jun 22 13:49:10 PDT 2011
[I assume people on this list are likely to be on the TYPES list, too,
but just in case, this would be a good position for someone interested
in higher-order analysis and verification. -- David]
-------- Original Message --------
Subject: [TYPES/announce] Postdoctoral researcher position at Rice
University
Date: Sun, 19 Jun 2011 23:00:12 -0400
From: Swarat Chaudhuri <swarat at cse.psu.edu>
To: types-announce at lists.seas.upenn.edu
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are now invited for a postdoctoral position at Rice
University on automated program analysis and synthesis. The ideal
candidate will have a passion for bringing together theory and practice,
and deep expertise in automated verification (abstract interpretation
and/or model checking). The position is for one year initially, but can
be renewed to up to three years. The start date can be as early as
September 2011, but is negotiable.
To be considered for this position, please send a CV, a brief statement
of interest, and the names of two references to Swarat Chaudhuri
(swarat.chaudhuri at gmail.com). Further inquiries--for example,
questions about specific project topics--are also welcome.
More information about the HOFA
mailing list