Multiple Faculty Positions

The University of Iowa Computer Science Department invites applications for two tenure-track and one instructional-track faculty positions, effective August 2019. Postdoctoral research positions are also available within specific research groups.

Assistant Professor (2 positions)

We seek two tenure-track assistant professors in systems and/or programming languages broadly construed, i.e., operating systems, security, cyber-physical and embedded systems, distributed and high-performance systems, IoT, medical devices, safety-critical systems, data-intensive systems, cloud computing, cyber-human systems, programming language design, compilers, verification for reliability or security, memory safety, concurrency, program analysis, secure compilation, and the analysis of legacy systems, etc. Candidates must hold a PhD in computer science or closely related discipline upon appointment; research interests must align with these areas. Prior record of publication in leading venues and/or prior teaching experience are desirable. Responsibilities include conducting research in the candidate's area of expertise, teaching undergraduate and graduate courses, supervising graduate student research, and making service contributions to the University and the discipline.

Lecturer or Associate Professor of Instruction (1 position)

We seek instructional faculty with interests across the spectrum of computer science and informatics, including data analytics, systems software, machine learning, theory and algorithms, embedded systems, networks and smart sensors, HCI, computer graphics, visualization, etc. Candidates must hold a PhD in computer science or a closely related discipline at time of appointment. Prior teaching experience is required. Responsibilities include contributing to the Department's multidimensional educational mission, teaching undergraduate and graduate courses, and making service contributions to the University and the discipline.

Postdoctoral Associates

Professor Antonio Bianchi seeks to fill a post-doctoral fellowship position in Computer Security, with a focus on program analysis and binary analysis, to work on the DARPA CHESS project and other binary/program analysis projects. Candidates should have a PhD in Computer Science/Engineering with a background in Computer Security. Background in program analysis, binary/firmware analysis, or reverse engineering is a plus but not essential.

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 model checking, with a focus on contract-based compositional reasoning, interactive contract generation, and safety and liveness analysis for infinite-state systems. Candidates should have a PhD in Computer Science and a strong background in formal methods/automated reasoning, excellent programming skills, and good English writing and speaking skills. Background in model checking, and experience with developing applications in OCaml or other functional languages is a plus. More details can be found here.

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