[FM-India]Senior Project Associate/Postdoc Position - Model Checking/Formal Verification/Software Engineering

Dear All, Hope this email finds you well. I am writing this email to inform you that a senior project associate/postdoc position is available in my research group at IISER Bhopal in the area of model checking/formal verification/software engineering. 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 degree + 2 years of relevant research/industry experience or bachelor's degree + 4 years of relevant research/industry experience are also eligible and encouraged to apply. Interested candidates can directly contact me at : arpit(a)iiserb.ac.in The details of this position are as follows: No. of Position: 1 (One) Name of Position: Senior Project Associate Duration: Initially for 1 year, extendable up to 1 year based on satisfactory performance. *Salary: INR 57,000 + HRA* (as applicable) per month. *Essential Qualifications:* Doctoral Degree in Computer Science/Computer Engineering/Software Engineering/Data Science from a recognized University or equivalent. *OR* Bachelor's degree in Engineering or Technology (B.E. or B.Tech) in Computer Engineering/Information Technology/Data Science/Electronics or four years Bachelor’s degree in Computer Science/Mathematics/Physics/Electronics or Master of science (MSc) degree in Computer Science/Data Science/Information Technology/Electronics/Mathematics/Physics from a recognized University or equivalent and four years' experience in Research and Development in computer science (preferably in software design and development or machine learning/natural language processing or formal methods/model checking) in Industrial and Academic Institutions or Science and Technology Organisations and Scientific activities and services. * OR* Master’s degree in engineering or technology (M.E. or M.Tech) in Computer Engineering or Computer Science or Software Engineering or Information Technology or Data Science or Electronics Engineering from a recognized University or equivalent and two years’ experience in Research and Development in computer science (preferably in software design and development or machine learning/natural language processing or formal methods/model checking) in Industrial and Academic Institutions or Science and Technology Organisations and Scientific activities and services. *Desirable: * 1. Candidates should have some prior experience in Software Design and Implementation or development of Software Tools or building Machine Learning Pipelines. 2. This position requires good analytical and reasoning skills. *Age limit:* Candidates should be below 50 years of age on the last date of application. *How to Apply:* Interested candidates are requested to send their CV (including name, date of birth, photograph, address for communication, phone number, email id, details of educational and scientific accomplishments) to Dr. Arpit Sharma over email. Additionally, a copy of all the credentials including mark sheets starting from 12th standard, and UG degree certificate, PG degree certificate, doctoral degree certificate etc also need to be sent via email. Completed applications should reach the undersigned only by email. Last date of application is 06th April 2025. Keep subject of the email to be “Senior Project Associate Application”. 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/