Dear All, Hope this email finds you well. I am happy to share that a senior project associate/postdoc position is available in my research group at IISER Bhopal in the area of model checking and formal verification. This position is funded by the DST-SERB Core Research Grant project titled GALTOSM: A Graph and Logic Transformation Based Toolkit for Software Model Checking. I would request you to please share this information with your PhD/Postdoc students, and colleagues in academia. Candidates with a master's or bachelor's degree and 4 years of relevant research/industry experience will also be considered for this position. Interested candidates are encouraged to directly contact me at : arpit(a)iiserb.ac.in The details of this position are as follows: Duration: 2.2 years. Salary: INR 42,000 + HRA (as applicable) per month. Essential Qualifications: Doctoral Degree in Computer Science/Computer Engineering from a recognized University or equivalent (preferably in model checking/software verification/formal methods/process algebra/model-based testing). OR 1. Master of science degree in computer science or Master of Science in mathematics or Bachelor of Engineering/Technology degree in computer engineering/computer science from a recognized University/Institute and having minimum 60% marks or CGPA of 7.5 and above at a scale of 10. 2. Four years' experience in Research and Development in theoretical computer science (preferably in formal methods/model checking) in Industrial and Academic Institutions or Science and Technology Organisations and Scientific activities and services Desirable: 1. Candidates should have a strong background in logic, formal methods/model checking. 2. Candidates should have some prior experience in design and implementation of software tools for mathematical analysis of software systems. Age limit: Candidates should be below 40 years of age on the last date of application. Start Date: December 2024 or January 2025 Thanks. Regards, Arpit Arpit Sharma Associate Professor Department of Electrical Engineering & Computer Science Indian Institute of Science Education and Research, Bhopal Bhopal - 462066, Madhya Pradesh, India Homepage : https://sites.google.com/iiserb.ac.in/arpit-sharma/