[TYPES/announce] Postdoctoral position in Probabilistic Programming at Rice University

[Swarat Chaudhuri]

Postdoctoral position in Probabilistic Programming at Rice University
---------------------------------------------------------------

The Computer-Aided Programming group at Rice University
(http://caper.rice.edu) is looking to hire a postdoctoral researcher
in the area of automated analysis and synthesis of probabilistic
programs. The ideal applicant would have a solid background in
probability, logic, and program analysis, and have experience with
tool development in the area of program analysis.

The researcher will be supervised by Prof. Swarat Chaudhuri
(http://www.cs.rice.edu/~swarat).  The duration of the position is one
year, starting January 2014, and can be renewed for a second
year. Compensation is competitive and commensurate with
experience. Rice University is located in Houston, Texas, the fourth
largest city in the United States.

To apply, send a resume, a brief statement of interest, two
representative publications, and names of 2-3 references to Swarat
Chaudhuri (swarat at rice.edu).