Postdoctoral Research Associate

Position Type

Full Time

Position Terms

Start Date: 12/01/2020

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

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