[TYPES/announce] Postdoctoral position in machine learning + program synthesis at, Rice University

[Swarat Chaudhuri]

Postdoctoral position in machine learning + program synthesis at
Rice University
-------------------------------------------------------------

Rice University's Intelligent Software Systems Laboratory is looking
to hire a postdoctoral researcher for a project at the interface of
program synthesis and deep learning. Our goal is to develop algorithms
for program synthesis that are guided by neural networks, as well as
new learning algorithms that leverage programming language
abstractions. Ideal applicants will have a background in formal
methods and/or programming languages, interest in machine learning,
and experience with building systems of significant size.

The postdoc will work with Professor Swarat Chaudhuri. The duration of
the position is two years, starting summer 2018.  Compensation will be
competitive and commensurate with experience.

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