Postdoc position at Colorado in data-driven program analysis with potential industrial applications

by Bor-Yuh Evan Chang, Dec. 21, 2018

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 <[email protected]> or Sriram Sankaranarayanan <[email protected]> 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 <>.

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.