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.