[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