[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



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




More information about the FMIndia mailing list