Postdoc Position (runtime verification of security policies in distributed systems)

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.
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 by February 15, 2015

McMaster University is one of the top universities in Canada and is located in the Greater Toronto Area (GTA).

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s