Advertisement Number: P.Rect./R&D/2020/278

Applications are invited for one post of Research Associate under the project entitled "Formal Verification of Autopilot Software of UAVs" at the Cyber-Physical Systems Laboratory in the Department of Computer Science and Engineering, IIT Kanpur. The project is funded by IFCFPAR.

Essential Qualification
Ph.D (Computer Science).

Desirable Qualification
Prior research experience in one of the following areas: (a) Formal Methods, (b) Artificial Intelligence (c) Embedded and Cyber-Physical Systems.

Nature of Work
The Candidate would be responsible for carrying out cutting-edge research in the broad area of AI and formal methods for robotics and automation as required by the project. The candidate is expected to work independently and also in collaboration with graduate and undergraduate students, and produce high-quality research results that lead to publications in top conferences and journals.

Duration of Appointment
The post is purely temporary and is for 11 months or till the end of the project in case it gets extended.

Salary Range: Consolidated Salary (INR)
40000 per month

Submission of Application

Interested candidates are requested to submit their applications through email to isaha@cse.iitk.ac.in. The application should contain the following:

1. Current curriculum vitae including all educational/academic details and a complete list of publications/ patents
2. Statement of Purpose highlighting the major research contribution during PhD, the reasons for applying, and the career goal.

The deadline for submitting the email application: December 9, 2020.

Selection Procedure

Candidates will be selected for interview based on the suitability of their profile for the job. The selected candidates will be invited for a Skype interview.

Tentative date for interview: December 15, 2020.