[TYPES/announce] Postdoc position at Colorado in data-driven program analysis with potential industrial applications

[Bor-Yuh Evan Chang]

The Programming Languages and Verification Group at the University of
Colorado Boulder (CUPLV) is looking for exceptional candidates for a
postdoctoral research associate working in the area of data-driven program
analysis. This position presents a unique opportunity for potential
industrial application in collaboration with GitHub.

The ideal candidate has a background in the area of programming languages
and verification, as well as being interested in extending his or her
research to machine learning.

The postdoctoral research associate will collaborate with professors
Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Sergio Mover, as well as
engineers at GitHub. The researcher will have an opportunity to lead a
project on program repair and will contribute to potential technology
transfer with our industrial partner.

To apply, please send an email to Bor-Yuh Evan Chang <
evan.chang at colorado.edu> or Sriram Sankaranarayanan <srirams at colorado.edu>
with a CV and contact information for two or three references.

Our group has active projects in areas such as the following:
  - program analysis
  - program synthesis
  - cyberphysical systems

Compensation is highly competitive and commensurate with experience.
Teaching opportunities will be available.

For more information about our group, please see <https://plv.colorado.edu>.

Boulder, located at the base of the Rocky Mountains, is consistently
awarded top-rankings for health, education, and quality of life.  It is
also home to a concentration of high-tech industry and to a vibrant
start-up community. It is located 30 miles from downtown Denver.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181220/41bad54d/attachment-0001.html>