IIT Indore JRF Proof Complexity Recruitment 2026

IIT Indore JRF Recruitment 2026: Overview

Indian Institute of Technology Indore (IIT Indore) is recruiting a Junior Research Fellow in the Department of Computer Science and Engineering for an Anusandhan National Research Foundation project. The project, “Towards optimal lower bounds for Propositional Proof Systems”, sits in theoretical computer science and studies the limits of logical systems used to model combinatorial problems. The research connects proof complexity with topics such as SAT solving and integer linear programming, both of which appear in practical computing applications.

This fellowship is designed for someone who wants to work deeply on propositional proof complexity and may also want to build the work into doctoral research. The notification says the ideal candidate is ready to pursue a PhD in the area. Selection for the fellowship does not itself amount to PhD admission; registration would follow IIT Indore's separate institute norms.

The project gives the fellow a focused mathematical and computer-science research setting rather than a general software-development assignment. You should be comfortable reading technical literature, developing rigorous arguments, discussing open questions with the investigator and presenting research progress clearly. A strong interest in the theoretical foundations of computation will matter because the project is centred on lower bounds and logical proof systems.

Service Conditions and Caveats

• Project tenure: The advertised appointment runs for three years. It is a project fellowship, not a regular institute post.
• PhD pathway: The selected fellow will be encouraged to register for IIT Indore's PhD programme under institute rules. If you are admitted, the fellowship may be extended for the PhD duration according to those rules.
• Shortlisting: Only shortlisted applicants will be called for the interview, and IIT Indore will send the selection communication by email.
• Travel costs: No TA or DA will be paid for attending the interview. You should plan any travel to the institute accordingly.
• Work base: The fellowship belongs to the Computer Science and Engineering department at IIT Indore, with the research work tied to the named ANRF project.

Application Submission Notes

Send a single PDF file by email to sasankm@iiti.ac.in. The file should contain your detailed CV and the supporting records requested in the project advertisement.

Include the relevant degree certificates, marksheets, GATE qualifying certificate and date-of-birth proof in that PDF. Combining everything before you email it will help the project team review your academic record without missing a separate attachment.

Watch the email address used in your CV after applying, because shortlisted applicants and the selected candidate will be informed by email. The institute careers page gives the valid closing date for this project notice.

• Study propositional proof systems and proof-complexity lower-bound techniques
• Review research literature on SAT solving, integer linear programming, and related logical systems
• Develop and test theoretical arguments for the project's research questions
• Discuss research progress and open problems with the project investigator
• Prepare clear notes, proofs, presentations, and project progress material
• Present findings during project meetings and academic discussions
• Build the research foundation needed for possible PhD work in the area