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.
Qualifications
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 mxmvse@rit.edu.