[TYPES/announce] Postdoctoral researcher position at Rice University

[Swarat Chaudhuri]

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.