Job Title

Summer Research Internshipat SERC, IIIT Hyderabad "Engage in Research that matters"Are you ready to embark on an extraordinary journey into the world of advanced research?At the Software Engineering Research Centre (SERC) at IIIT Hyderabad, I am inviting highly motivated BTech and MTech students in CSE/IT to join my research group for exciting summer internships in the areas ofFormal Methods ,Programming Languages ,Software Engineering , andTrustworthy AI.Driven by a vision to enhance safety and security in autonomous applications, my work focuses on establishing aformal foundation for Trustworthy Autonomyin Software Development.Ongoing Projects:Trustworthy Automated Programming:Engage with the forefront of software development as we tackle challenges arising from natural language ambiguity in AI-driven code generation. Your work will focus on creating frameworks to bridge developer intent with formal specifications, enhancing trust and reliability in AI-generated outputs. Trustworthy Concurrency:Dive into the complexities of parallel programming in our AI-driven era. Help develop automated mechanisms that enhance the trustworthiness of concurrent programs by integrating formal methods such as theorem proving, model checking, and more. Integrating ML into Theorem Proving:Revolutionize the theorem proving process by leveraging machine learning techniques. You will explore enhancing proof searches and automating tactics to facilitate high-assurance software developmentWhy Join Us?This is not just another internship—it's a chance to engage in cutting-edge research relevant to both academia and industry. TheSoftware Engineering Research Centre(SERC) at IIIT Hyderabad is renowned for its exceptional research from the undergraduate level, consistently ranked among the top places in the country by CS Research metrics.Your contributions can significantly enhance your profile, making you a prime candidate for future MS and PhD programs at IIIT Hyderabad, contingent on exceptional performance and evaluation.Apply? If you are a mathematically inclined student eager to push the boundaries of knowledge and technology, I want to hear from you! I am looking for individuals who have a strong willingness to learn and apply rigorous mathematical techniques to ensure trust in software development. If you particularly enjoyed subjects like Discrete Mathematics, Automata Theory, Algorithm Design, and Compilers during your undergraduate studies, you will find this opportunity a perfect fit!Interested students are encouraged to send an email request toabhishek.singh@with the following: A detailed CV, and Brief write-up (less than one page) explaining your interest/skills relevant to the ongoing projects.Let’s Shape the Future Together!