Postdoc Position at University of Michigan

We are looking to hire a postdoctoral researcher to collaborate with us (Baris Kasikci, Manos Kapritsos, Westley Weimer) as part of the DARPA Assured Micropatching (AMP) Program, where we will develop new techniques to automatically patch security vulnerabilities in deployed software with provable guarantees. In particular, not only will the techniques we develop ensure that vulnerabilities are patched, but they will also guarantee that the baseline functionality of the patched programs remains intact.

Ideal candidates will have a strong background and experience in system security (binary analysis, reverse engineering, etc.) and programming languages (program analysis, formal verification, program repair, etc.).

We are committed to postdoc mentoring. Interested candidates will have the opportunity, if desired, to teach a class as the instructor of record, mentor graduate students, mentor undergraduate students, particular in grant writing, and coordinate on job search planning.

We are looking to fill this position as soon as possible. This is a two-year position.

To apply, e-mail us the following materials:

  1. Curriculum Vitae, including full list of publications and a link to your homepage.

  2. Research statement describing your research interests, achievements, and goals;

  3. Contact information (email) for three or more individuals who have agreed to provide letters of reference.

Michigan Engineering's vision is to be the world's preeminent college of engineering serving the common good. This global outlook, leadership focus, and service commitment permeate our culture. Our vision is supported by a mission and values that, together, provide the framework for all that we do. Information about our vision, mission and values can be found at

The University of Michigan has a storied legacy of commitment to Diversity, Equity and Inclusion (DEI). The Michigan Engineering component of the University's comprehensive, five-year, DEI strategic plan - with updates on our programs and resources dedicated to ensuring a welcoming, fair, and inclusive environment - can be found at