[TYPES/announce] Postdoctoral position in formal methods + machine learning

[Swarat Chaudhuri]

Postdoctoral position in machine learning for formal methods 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 synthesis and analysis 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 (ideally some 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 summer 2017.
Compensation will be highly competitive and commensurate with experience.

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