[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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, programming languages, software engineering, formal
methods 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.
The official job posting is here:
https://urldefense.com/v3/__https://jobs.colorado.edu/jobs/JobDetail/?jobId=59677__;!!IBzWLUs!U3eNKNqGEEtnAUyoFhqiCha6fUiaYwXzrj-wU8h-nE23fMxxSuDHLoLP3hG5a_tzv3FxNSxUXm7SnllvyzlzEYkMgfBOUyRfrxwX8s9k$
. Candidates applied on or before 12/1 are given full consideration.
CU has a well-established PLV group
(https://urldefense.com/v3/__https://plv.colorado.edu/__;!!IBzWLUs!U3eNKNqGEEtnAUyoFhqiCha6fUiaYwXzrj-wU8h-nE23fMxxSuDHLoLP3hG5a_tzv3FxNSxUXm7SnllvyzlzEYkMgfBOUyRfr2dMYT_G$
), and we strongly encourage PL/FM/SE candidates to apply!
-----
Gowtham Kaki
Assistant Professor of Computer Science
University of Colorado Boulder
https://urldefense.com/v3/__https://gowthamk.github.io__;!!IBzWLUs!U3eNKNqGEEtnAUyoFhqiCha6fUiaYwXzrj-wU8h-nE23fMxxSuDHLoLP3hG5a_tzv3FxNSxUXm7SnllvyzlzEYkMgfBOUyRfrxamBnaZ$
