Tenure-Track Faculty Openings at U of Colorado Boulder in Trustworthy Software

by Bor-Yuh Evan Chang, Nov. 20, 2019

Please consider applying or encourage your students and postdocs to apply for a tenure-track position in the Department of Computer Science at the University of Colorado Boulder in the area of Trustworthy Software. Applications will be evaluated beginning on December 1, 2019 and will continue until the position is filled.

Greetings from CU Boulder!

We currently have an open tenure-track faculty position in the Department of Computer Science at the University of Colorado Boulder (CU) in the area of Trustworthy Software. This includes, but is not limited to, a broad swath of topics, including programming language foundations (e.g., type systems, language design), large-scale distributed systems (e.g., cloud computing), secure software (e.g., language-based security), probabilistic programming (e.g., languages for machine learning), automated reasoning (e.g., program analysis, software verification), industrial-scale computing (e.g., software engineering), and computing education research.

The position is open at all levels, with emphasis on applicants at the Assistant Professor level. Candidates whose expertise cuts across engineering and related disciplines are especially encouraged to apply.

The position will remain open until filled, though for full consideration applications should be received by December 1, 2019. Find more details and apply through the following link: https://jobs.colorado.edu/jobs/JobDetail/21053/.

Best Regards,

Evan

Bor-Yuh Evan Chang (https://www.cs.colorado.edu/~bec/)

CU Programming Languages and Verification (CUPLV) (https://plv.colorado.edu/)

Department of Computer Science (https://www.colorado.edu/cs/)

University of Colorado Boulder (https://www.colorado.edu/)