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.
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).

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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