• The Regents of the University of Colorado
  • $116,400.00 -189,370.00/year*
  • Boulder , CO
  • Scientific Research
  • Full-Time
  • 670 Logan Mill Rd

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

    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.

    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.


    Associated topics: agriculture, automobile, career, fire, flight, horticulture, librarian, massage, skilled trade, weld

    * The salary listed in the header is an estimate based on salary data for similar jobs in the same area. Salary or compensation data found in the job description is accurate.

    Launch your career - Upload your resume now!


    Loading some great jobs for you...