[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate in the area of program analysis and program synthesis. The position is on the Fixr project, a large project examining approaches to automatically mine, understand, and transfer bug fixes in large application frameworks, such as Android. The ideal candidate has a strong background in the area of programming languages, software engineering and/or formal methods, as well as an enthusiasm for mentoring junior researchers. The postdoctoral researcher would collaborate with Profs. Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Pavol Cerny and have the opportunity to lead this ambitious project that combines program analysis, probabilistic reasoning, and program synthesis. The position is for two years, with a possible extension for additional years. A transition plan to a research assistant professor position is possible for highly-qualified candidates. While not required, teaching opportunities will also be available. Compensation is highly competitive and commensurate with experience. To apply, please send an email to Bor-Yuh Evan Chang (b...@cs.colorado.edu) with a CV and contact information for two to three references. Please apply by May 8 for full consideration, though applications will be considered until the position is filled. Our group has active projects in areas such as the following: - program analysis - model checking - verification and synthesis of hybrid and embedded systems - program synthesis For more information about our projects, please see: http://pl.cs.colorado.edu/ Boulder, located at the base of the Rocky Mountain foothills, is consistently awarded top-rankings for health, education, and quality of life. It is also home to a concentration of high-tech industry and its vibrant startup community. Located 30 miles from downtown Denver, there are convenient public transportation options between Boulder and the Denver metro area. The University of Colorado is an Equal Opportunity Employer committed to building a diverse workforce. We encourage applications from women, minorities candidates, people with disabilities, and veterans.