[ 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 ideal candidate has a strong background in the general area of programming languages and verification, as well as a enthusiasm in 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 an ambitious new project that combines program analysis, probabilistic reasoning, and program synthesis. To apply, please send an email to any of us with a CV and contact information for two or three references. 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/ The position is for one year, with a possible extension for additional years. Highly-qualified candidates may be considered for a research assistant professor position. Teaching opportunities will be available. Compensation is highly competitive and commensurate with experience. 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.