A postdoctoral position in the area of runtime monitoring of security/privacy policies in distributed systems is available at the Department of Computing and Software in McMaster University, Canada, under the supervision of Prof. Borzoo Bonakdarpour.
Requirements:
Ph.D. in computer science or a closely related area.
Strong research track record in at least one of the following areas:
Automated formal methods
Distributed algorithms
Formal reasoning about cybersecurity
Beginning: March-September 2015
Ending: September 2016 with possibility of renewal for a total of 3 years.
Applications should include a detailed CV and the contact information of 3 referees.
The successful applicant will be working on design and implementation of runtime verification techniques that monitor security/privacy policies not expressible in trace-based languages (e.g., information flow) in distributed systems (e.g., a large network of mobile devices or autonomous vehicles). This task is part of a recently funded Canadian Strategic Project Grant.
Interested applicants should contact Prof. Borzoo Bonakdarpour at borzoo@mcmaster.ca by February 15, 2015
McMaster University is one of the top universities in Canada and is located in the Greater Toronto Area (GTA).
Computer and Information Security - أمن المعلومات 