Available research positions

PostDoc

• Qualification: PhD in formal methods; Duration: 1-2 years
• Good publication record
• With competitive salary and generous travel funding

Research assistant

• Qualification: B. Tech/M. Tech; Duration: 3 months-1 year
• Good academic record, Strong programming skills, Good knowledge of algorithms, logic, compilers, and computer architecture
• Good for those who are (already working in industry and) aiming to go for PhD in future

Internships

• Qualification: enrolled in some B. Tech/M. Tech/PhD program; Duration: summer/B. Tech/M. Tech projects
• Good academic record, Strong programming skills, Good knowledge of algorithms, logic, compilers, and computer architecture
• Good for those who are seeking jobs in software industry or careers in academics
• For summer we prefer to take students via the institute wide internship program.

Applying

Please write to Ashutosh Gupta with your CV and subject line "Application for ...". For positions of postdoc and research assistant, please also include a statement of purpose.

The positions may be currently filled. We will contact you whenever we have a suitable opening. We may take months in responding to your application.