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.