University of Colorado PostDoctoral Research Associate in Boulder, Colorado

PostDoctoral Research Associate

Requisition Number:

15345

Location:

Boulder, Colorado

Employment Type:

Research Faculty

Schedule:

Full-Time

Close All

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:

  • Resume/CV

  • Cover Letter

  • Interview Exercise

  • Proof of Degree

  • 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