The research opportunity is in program synthesis, broadly interpreted. The topics include, but are not limited to, programming by examples, new search algorithms for synthesis, property-guided synthesis, user interfaces, probabilistic models of domain knowledge, and property inference.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.