Postdoctoral Research Associate

Position Type

Full Time

Position Terms

Start Date: 09/01/2020

Preferred Qualifications

The Center for Cybersecurity at Rochester Institute of Technology is looking for a Post-Doctoral Research Associate with interests in the areas of Software Design, Analysis and Verification. The candidates will directly work with Dr. Mehdi Mirakhorli and collaborate with other affiliates of the center. The Center for Cybersecurity, (where the postdocs will be based) offers a highly inclusive and stimulating environment for research career development. Postdocs will also work on multiple projects sponsored by federal agencies as well as known industries in the cybersecurity sector.


Candidates should have a Ph.D. in Computer Science (or at least, the defense is planned soon). They should be familiar with several of the following topics:

  • Formal verification, and preferably software verification (static analysis, model checking, deductive verification, symbolic execution, etc.)
  • Specification languages
  • Software Security
  • Knowledge of software architecture and architecture modeling languages

Application Instructions

o be considered for this position, candidates must submit a CV and the names and contact information of three professional references as a single PDF file attachment to