[TYPES/announce] Postdoctoral position on statistical program analysis and synthesis at Rice University

[Swarat Chaudhuri]

Postdoctoral position on statistical program analysis and synthesis
at Rice University
-----------------------------------------------------------------

Rice University's Department of Computer Science is looking to hire a
postdoctoral researcher for a project at the interface of formal
methods and statistical machine learning. More precisely, our goal is
to build methods for program analysis and synthesis that are guided by
knowledge automatically learned from large datasets of programs and
related artifacts (such as tests and documentation). Ideal applicants
will have a background in formal methods and/or programming
languages, interest (but not necessarily a background) in machine
learning, and experience with building systems of significant size.

The postdoc will work with Professors Swarat Chaudhuri and Chris
Jermaine. The duration of the position is two years, starting May 2017.
Compensation will be highly competitive and commensurate with experience.

To apply, send a CV and names of 3 references to Swarat Chaudhuri
(swarat at rice.edu).