INDIAN INSTITUTE OF TECHNOLOGY KANPUR

ADVERTISEMENT

Department of Computer Science and Engineering

Advertisement Number: P.Rect./R&D/2019/55

Application is invited for one post of Project Post-Doctoral Fellow under the project entitled "FMSAFE: A Networked Center for Formal Methods in Validation and Certification Procedures for Safety-Critical ICT Systems” at the Department of Computer Science and Engineering, IIT Kanpur.

Essential Qualification:

Ph.D (Computer Science/ Information Technology/ Electrical Engineering/ Electronics and Communication Engineering)

Desirable Qualification:

Two years of post-doctoral research experience in one of the following areas:        (a) formal methods, (b) Embedded and Cyber-Physical Systems, (c) Robotics,       (d) Internet of Things.

Nature of Work: Candidate would be responsible for carrying out cutting–edge research in the area of formal methods for robotics and automation.

Consolidated Salary (Rs): 50000/55000/60000

Duration of Appointment: The post is purely temporary in nature and is for the duration of one year which may be extended based on the performance.

Applications Process:

Interested candidates may apply by submitting a detailed resume with copies of all experiences and project details and a cover letter summarizing the experience in relevant technologies and software.

Submission accepted only as hardcopy to the mailing address:

Prof. Indranil Saha
Department of Computer Science and Engineering
Indian Institute of Technology, Kanpur
Uttar Pradesh 208016, India

Application Deadline  22 February 2019

Contact Person:
Prof. Indranil Saha
Department of Computer Science and Engineering
Indian Institute of Technology Kanpur
Email: isaha@cse.iitk.ac.in