[hofa] Fwd: [TYPES/announce] Postdoctoral researcher position at Rice University

[David Van Horn]

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