PhD

• Interested candidates (with interest and experience in formal methods/model checking or software engineering or machine learning/NLP) willing to pursue PhD can send their CV and research interest to arpit@iiserb.ac.in

Postdoc

• Interested candidates (with interest and experience in formal methods/model checking or software engineering or machine learning/NLP) please email your CV, the statement of your research interest, and the abstract of your PhD thesis mentioning the year of your PhD award

Bachelor/Master Theses

• We have a variety of Bachelor and Master thesis topics to offer. Just get in touch by email arpit@iiserb.ac.in