<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div>The Department of Computer Science at the University of Colorado (CU) Boulder seeks applications for a tenure-track faculty position in Trustworthy and Scalable AI Systems. We invite candidates from all areas of computing to apply. The specific focus of
this position is inter-disciplinary, spanning the broad areas of computer systems,
<b>programming languages, software engineering, formal methods</b> and artificial intelligence. Modern AI systems draw heavily on advances in computer architecture, compilers, programming languages and computer security. Reasoning about the safety and fairness
of these systems involves techniques from automated reasoning that have been studied in the areas of programming languages and formal methods. Conversely, AI and Machine Learning techniques are impacting how we design, implement and operate computing systems.
Automated reasoning/theorem proving tools that underlie formal methods now use ideas from machine learning to speed up proof search and improve human interaction. To carry out research in these emerging and highly interdisciplinary areas, we seek candidates
with interests that span artificial intelligence and one of our focus areas of computer systems and/or programming languages. This position is anticipated to be hired at the Assistant Professor rank; however, qualified candidates may be considered at the Associate
Professor or Professor rank.</div>
<div><br>
</div>
<div>The official job posting is here: <a href="https://urldefense.com/v3/__https://jobs.colorado.edu/jobs/JobDetail/?jobId=59677__;!!IBzWLUs!U3eNKNqGEEtnAUyoFhqiCha6fUiaYwXzrj-wU8h-nE23fMxxSuDHLoLP3hG5a_tzv3FxNSxUXm7SnllvyzlzEYkMgfBOUyRfrxwX8s9k$">https://jobs.colorado.edu/jobs/JobDetail/?jobId=59677</a>. Candidates applied on or before 12/1 are given full consideration. </div>
<div><br>
</div>
<div>CU has a well-established PLV group (<a href="https://urldefense.com/v3/__https://plv.colorado.edu/__;!!IBzWLUs!U3eNKNqGEEtnAUyoFhqiCha6fUiaYwXzrj-wU8h-nE23fMxxSuDHLoLP3hG5a_tzv3FxNSxUXm7SnllvyzlzEYkMgfBOUyRfr2dMYT_G$">https://plv.colorado.edu/</a>), and we strongly encourage PL/FM/SE candidates to apply!</div>
<div>
<div><br>
</div>
</div>
<br>
<div>
<div>-----<br>
Gowtham Kaki<br>
Assistant Professor of Computer Science<br>
University of Colorado Boulder<br>
https://gowthamk.github.io </div>
</div>
<br>
</body>
</html>