The University of Iowa Computer Science Department invites applications for multiple tenure-track, instructional, and visiting positions effective August 2020. Tenure-track positions are at the Assistant Professor level and instructional-track positions are at the Lecturer level, although more senior appointments may be considered. Visiting and postdoctoral positions may also be available. The Department offers the BA, BS, MCS, and PhD degrees in Computer Science, the BA and BS degrees in Informatics, the BSE degree in Computer Science & Engineering (jointly with the Department of Electrical Engineering), and the BS degree in Data Science (jointly with the Department of Statistics).

Tenure-track positions

We seek creative and collaborative scholars from all areas of Computer Science who are open to working in a highly collegial and multidisciplinary environment. We are particularly interested in candidates who align with our current research portfolio, which includes: (i) algorithms and theory; (ii) artificial intelligence, machine learning, natural language processing, text analytics, and their applications; (iii) computational epidemiology and healthcare applications; (iv) computer science education and pedagogy; (v) human-computer interaction, accessibility, and virtual or augmented reality; (vi) mobile, embedded, real-time, and IoT systems; (vii) network design, measurement, and applications; (viii) programming languages, formal methods, and compilers; and (ix) security, privacy, and anonymity. Candidates must hold a PhD in computer science or a closely related discipline at time of appointment. For tenure-track positions, successful candidates must demonstrate potential for research and teaching excellence and must align with our current research areas. Prior record of scholarly publication in leading venues and prior teaching experience are desirable. Appointments at higher rank may also be possible. Responsibilities include conducting cutting-edge research in the candidate’s area of expertise, teaching undergraduate and graduate courses, supervising graduate student research, and making service and outreach contributions to the Department, the College, the University, and the discipline.

Instructional and visiting positions

We seek instructional and visiting faculty with interests from across the spectrum of computer science. Candidates must hold a PhD in computer science or a closely related discipline at time of appointment. Successful candidates must demonstrate potential for teaching excellence. For visitors, a prior record of scholarly publications in leading venues and prior teaching experience are desirable. For appointment as Lecturer, prior teaching experience is required; appointments at higher rank may also be possible. Responsibilities include contributing to the Department’s multidimensional educational mission, teaching undergraduate and graduate courses, and making service and outreach contributions to the Department, the College, the University, and the discipline.

Postdoctoral research positions

Postdoctoral research positions may be available in several of the Department’s many externally funded research groups.

Professor Octav Chipara seeks to fill a post-doctoral research position in computer systems and their application to mobile health. Candidates should have a PhD in Computer Science/Engineering with a strong background in systems research. Knowledge of program analysis techniques (e.g., static analysis, abstract interpretation) or machine learning (e.g., reinforcement and active learning) is a plus.

Professor Omar Chowdhury of the Computational Logic Center seeks to fill a post-doctoral research position in the security and privacy analysis of telecommunication networks (4G/5G). Candidates should have a PhD in Computer Science/Engineering with a strong background in telecommunication protocols (4G/5G) and computer securty. Background in automated reasoning approaches (e.g., model checking, SMT) and interactive theorem proving (e.g., Coq, ACL2, HOL) is a plus.

Professors Sriram Pemmaraju and Alberto Maria Segre of the Computational Epidemiology Research Group seek to fill a post-doctoral fellowship position for a CDC funded project on modeling and simulation of heathcare acqured infectious diseases. Candidates should have a PhD in Computer Science, Applied Mathematics, Biostatistics or similar and background in one or more of the following areas: data mining, machine learning, network analysis, discrete-event simulations, and/or statistical computing. Background in the healthcare data analytics is a plus, but not essential.

Professor Cesare Tinelli of the Computational Logic Center seeks to fill a post-doctoral research position in SMT-based verification/model checking of safety and liveness properties of embedded reactive software. Candidates should have a PhD in Computer Science or a closely related field and a strong background in formal methods or automated reasoning. Experience in designing, building, or maintaining medium-sides software systems and solid programming experience in OCaml or other functional languages are a plus.

For more information, click here for the official position announcement.

For Candidates:

Create a new application.
Update an existing application (password required).

For References:

Upload a letter of recommendation (password required).

For Search Committee:

Manage applications (HawkID required).