Applications are invited from highly motivated and dynamic eligible candidates for the post of Junior Research Fellow (JRF) / Senior Research Fellow (SRF) position for the project entitle “Parallel Model Checking of Hybrid Systems” funded and sponsored by DST SERB Government of India.