[TYPES/announce] Postdoctoral position in deep learning + formal methods at Rice University

[Swarat Chaudhuri]

Postdoctoral position in deep learning + formal methods at Rice University
-------------------------------------------------------------

Rice University's Intelligent Software Systems Laboratory is looking to 
hire a postdoctoral researcher for a project at the interface of formal 
methods 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 and some exposure to machine learning.

The postdoc will work with Professor Swarat Chaudhuri. The duration of 
the position is two years; the position is open immediately. To apply, 
send a CV and names of 2 references to Swarat Chaudhuri (swarat at rice.edu).