Postdoctoral Research Associate
Start Date: 12/01/2020
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
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 email@example.com.