Postdoctoral Positions

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.

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.

To apply, please go to our faculty and post-doc recruiting portal.