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:
For more information about our group, please see
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 Daring. Be Inspired. Be Boulder.
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.
To apply, please submit the following materials:
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.
Loading some great jobs for you...