We are seeking applications for a postdoc position to work on broad aspects of theory and application of software technology in safety-critical real-time embedded systems. The activities will include research on system tracing, trace mining, and runtime monitoring of software systems; and interaction with project partners in industry.
Applicants should show strong interest in the general topics outlined above and should have a PhD in one of the following areas:
- Formal methods (e.g., software verification, runtime monitoring, runtime verification)
- Software reliability (e.g., reliability analysis, assurance cases, fault tolerance mechanisms)
- Machine learning and data mining (e.g., specification mining, clustering algorithms, trace analysis)
- Programming languages and program analysis (e.g., instrumentation techniques, dynamic binary instrumentation, static instrumentation)
- Real-time systems (e.g., timing analysis, schedulability analysis, system modeling)
The position is funded for several years with an initial one-year contract and the possibility of renewal.
Pease send a cover letter and a complete CV to Prof. Sebastian Fischmeister (sfischme@uwaterloo.ca).