INDUSTRIAL RESEARCH & CONSULTANCY CENTRE OFFICE OF THE DEAN(R&D) INDIAN INSTITUTE OF TECHNOLOGY,BOMBAY.
Circular No. 165/2017
RECRUITMENT FOR PROJECT
Applications are invited from the citizens of India for filling up the following temporary
for the sponsored project
Computer Science & Engineering
of this Institute. The
temporary initially for a period of
and tenable only for the duration of the project. The requisite qualification & experience etc. are given below:
Project Code, Project Title & Funding Agency
17MHRDIMP001 :"FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety-Critical ICT Systems"
(MHRD (IMPRINT SCHEME))
About the project: Development of tools and techniques for advanced formal verification techniques
Position & Salary
Project Research Assistant (1 Post
) Consolidated salary Rs.30000 - 42000 + Rs.4000.00/- Out Of Campus Allowance (if applicable) p.m.
B.Tech./B.E. in Computer Science/Computer Engg/Computer Science and
Engg. with 70% or above marks (in case of CPI/GPA, a GPA of at least 8.0/10) Experience in working with formal verification tools for hardware/software systems will be highly preferred
The research assistant will be required to help in the development of formal verification tools using state-of-the-art techniques. The candidate must be familiar with some of the internals of at least one public domain formal verification tool. The candidate must work in a group under the supervision of faculty members and senior scientists and contribute to the design and development effort of the tool. The candidate will be required to participate both in the development of the theory, whenever needed, and also in the coding effort for the tool.
The appointment is for time bound project and the candidate is required to work mainly for the successful completion of the
. The selection committee may offer lower or higher designation and lower or higher salary depending upon the experience and performance of the candidate in the interview.
Candidate possessing the requisite qualification and experience should apply online at
on or before
26th September, 2017
Call letters will be sent through e-mail to the candidates shortlisted for interview and will also be displayed on IRCC website. Candidates called for interview will be
required to attend at their own expenses.
Asstt. Registrar (R&D)
1.All Heads/In-charges of the Departments/Schools/Centres/Sections.