Start date: November 2024 Salary: INR 37000 + HRA Location: Tata Institute of Fundamental Research Mumbai Duration: One year with a possible extension for one more year depending on performance Essential educational qualification: At least 4-year degree B. E./ B. Tech/B.S. or equivalent in Computer Science, Mathematics, Physics, Electronics & Communication, Electrical Engineering with minimum 60% marks or 6.2 CGPA Last date of application: October 15, 2024 The successful candidate will be working on the "VeriLearn" project led by Shibashis Guha and study the use of machine learning techniques in formal methods as well as on providing provable guarantees for safety and trustworthiness as studied in formal methods for machine-learned systems. The project is aimed at investigating theoretical foundations as well as showing practical usefulness in terms of scalability and efficiency. More details on the position, application procedure, and eligibility criteria can be found at https://tinyurl.com/VeriLearnJRF Application materials can be directly sent via email to the email id mentioned. Shortlisted candidates will be called for an online interview towards the end of October 2024.