6 Dec
2024
6 Dec
'24
11:17 p.m.
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. Strong background in logic, formal methods/model checking.
2. 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: 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/