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