[FM-India] One year postdoctoral position on Formal Methods for Cyber Physical System Security
Sandeep K. Shukla
sandeeps at cse.iitk.ac.in
Mon Sep 19 19:00:20 IST 2016
We have an urgent opening for a post doctoral fellow in Formal Methods
applications to Cyber Physical Systems Security. Ideal candidate would be
someone who can join immediately.
The desired qualification is PhD in Computer Science, with a good knack in
programming, and a strong back ground in formal methods. The position is for
one year, but depending on the
continuity of funding could be renewed for further years.
If anyone is interested, please apply immediately by sending your CV to
sandeeps at cse.iitk.ac.in
regards
Sandeep Shukla
IIT Kanpur
-----------------------------------------------------
Dr. Sandeep K. Shukla
Poonam and Prabhu Goel Chair Professor
Department of Computer Science and Engineering
Indian Institute of Technology, Kanpur
Kanpur, India
http://www.cse.iitk.ac.in/users/sandeeps/
More information about the FMIndia
mailing list