The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for candidates for a full-time research software engineer position. This position presents a unique opportunity for bridging academic research with industrial application in collaboration with GitHub.
The research software engineer will work on a technology transfer task collaborating with professors Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Sergio Mover, as well as engineers from GitHub.
The project consists of re-engineering and extending the research prototype of BigGroum to be available to real developers in GitHub. BigGroum is a platform that mines software repositories to learn how to use API libraries and then use the learned artifacts to help software developers by, for example, automatically suggesting code fixes. The final deliverable of the project is a new prototype of the tool that can be made available to open source developers, that scale on large software repositories, is robust and extensible, and has new functionalities (e.g., supports the mining of software repositories containing multiple programming languages).
We are looking for a motivated software engineer that is excited to learn and understand new algorithms and techniques, and further extend them be usable in a real, industrial setting. The engineer will mainly work under the supervision of the CUPLV team at the University of Colorado Boulder.
Be Challenged. Be Diverse. Be Boulder.