Reasonable Accommodations for Applicants with Disabilities

CU Boulder is committed to making information and resources that are available via the web accessible for all users. The CU Boulder careers site used to apply for staff positions is currently not fully accessible for individuals who are using screen readers and other assistive technologies, however, we are working with the supplier to make this accessible to all. If you use assistive technology and need to access the CU Boulder staff careers site please contact the ADA coordinator by email at adacoordinator@colorado.edu or call 303-492-9725 for assistance.

Skip to content

PostDoctoral Research Associate

Requisition Number:

15345

Location:

Boulder, Colorado

Employment Type:

Research Faculty

Schedule:

Full-Time

Job Summary

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. 

Our group has active projects in areas such as the following:
  • Program analysis
  • Program synthesis
  • Cyberphysical systems
For more information about our group, please see https://plv.colorado.edu.

Benefits

The University of Colorado offers excellent benefits, including medical, dental, retirement, paid time off, tuition benefit and ECO Pass. The University of Colorado Boulder is one of the largest employers in Boulder County and offers an inspiring higher education environment. Learn more about the University of Colorado Boulder.

Be Statements

Be Daring. Be Inspired. Be Boulder.

What You Will Need

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.

Special Instructions

To apply, please submit the following materials:
  1. Resume/CV
  2. Cover Letter
  3. Interview Exercise
  4. Proof of Degree
  5. You will need to submit 3 references for this position. These individuals will be contacted and asked to submit a letter of recommendation as part of your application materials. This information will be kept confidential and viewable only by the search committee.
Review of applications will begin upon receipt; applications will be accepted until the position is filled.

Note: Application materials will not be accepted via email. For consideration, applications must be submitted through CU Boulder Jobs.

Posting Contact Name: Boulder Campus Human Resources

Posting Contact Email: Recruiting@colorado.edu

The University of Colorado is an Equal Opportunity/Affirmative Action employer