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 University of Colorado Boulder is committed to building a culturally diverse community of faculty, staff, and students dedicated to contributing to an inclusive campus environment. We are an Equal Opportunity employer, including veterans and individuals with disabilities.

The anticipated academic year salary range for this position at the Assistant Professor rank is $120,000 – $135,000. The full salary range for Assistant Professor, Associate Professor, and Professor is $120,000 – $190,000, depending on rank.

Applications will be accepted until the position is filled, however for full consideration please apply by December 1, 2024. 

Note: Application materials will not be accepted via email. For consideration, applications must be submitted through CU Boulder Jobs (search by job title or requisition #59677). Background checks will be conducted for all final candidates.

In compliance with the Colorado Job Application Fairness Act, in any materials you submit, you may redact or remove age-identifying information such as age, date of birth, or dates of school attendance or graduation. You will not be penalized for redacting or removing this information.