Position: Project Engineer /Scientist

No. of positions: 1 (One) 

Applications are invited for the post of “Project Engineer/ Scientist” in the Project numbered  USAFO /CS /2016226 in the Department of Computer Science and Engineering at IIT Kanpur.

Minimum qualification: 

• For Project Engineer: M.Tech in Computer Science or allied disciplines or B.Tech in Computer Science or related disciplines plus 3 years of industrial/research experience.
• For Project Scientist: M. Sc in Computer Science or allied disciplines plus 3 years of experience.

Desired qualification:

• At least 60% marks in academics
• Experience in building compilation or language translation tools
• Experience in formal modeling of software and/or hardware system
• Experience in building formal methods tools and techniques
• Experience and/or knowledge of model checking, static and dynamic program analysis tools
• Hands on experience in formal verification methods on sizable software or hardware models
• Demonstrated Proficiency in Software Design and Programming
• Basic Understanding of Cyber Security
• Willingness to learn and apply formal methods

Consolidated Salary range: INR 22000–2200-44000.

Work:  The candidate’s tasks and responsibilities will include:

• Analyze real-time software source code with formal tools
• Develop tools for parsing, building intermediate models and data structures, semantics directed translation
• Develop theoretical models of program behaviors and use the models to automatically derive behavior models from real-time programs
• Create Design documents, test plans, manual of tools develop
• Prepare presentations and reports.
• Presentation of work at meetings and conferences

Duration: Appointment will be made initially for one year or till the end of project and may be extended up to five years or till the end of the project whichever is earlier, subject to satisfactory performance. Performance reviews will be held weekly. The appointment can be terminated at any time if found unsatisfactory.

Applications Process: Interested candidates may apply by submitting a detailed resume with all experiences and project details, a cover letter summarizing the experience in relevant technologies and software, and scanned copies of all relevant certificates. All files must   be submitted as a single file (‘.zip’ or ‘.tar’ or ‘.rar’) by e-mail to : sandeeps@cse.iitk.ac.in. The subject line must state "Project Engineer/Scientist Application for Formal Methods".

Last date of receipt of application: 16 November, 2016, before or at 5 pm.

Tentative date of interview:  January 02, 2017.

Contact Person: Prof. Sandeep K. Shukla, Computer Science & Engineering Department, IIT Kanpur