[TYPES/announce] Tenure-Track Faculty Openings at U of Colorado Boulder in Trustworthy Software

[Bor-Yuh Evan Chang]

Greetings from CU Boulder!

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. Apply at
https://jobs.colorado.edu/jobs/JobDetail/21053/. More details appear below.

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/)

---

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/.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191119/d8701679/attachment-0001.html>