Open positions at the Programming Languages Lab, Dept. of CSA, IISc
The Programming Languages Laboratory in the Department of Computer Science and Engineering, IISc, Bangalore, is looking for research staff to work in the broad areas of program analysis, verification, and automated testing. The specific topics of ongoing research in the lab include analysis of Spring MVC controllers, analysis of asynchronous message-passing programs, and advanced analysis-based tools for software repository management. The web site of the Principal Investigator, Prof. K. V. Raghavan, contains information about projects completed so far, publications, etc.There are two open positions, details of which are given below. Both positions are initially for a 1-year period, and require the staff member to physically work in the laboratory. Remote work could be considered for brief periods under exceptional circumstances. Campus accommodation is not provided. If interested, please contact the Principal Investigator by email at the address given in the home page mentioned above. Please enclose your CV with your email. You will receive a response only if you are found suitable to be considered for the position.
Project Assistant/Associate position
We are looking for a Project Assistant or Associate to work on development of research-oriented analysis tools in the topics of ongoing research mentioned above. The candidate needs to have a BTech or MTech degree, excellent programming skills in Java, sound knowledge of data structures and algorithms, and preferably, development skills in programming languages other than Java. The candidate should evince strong interest in learning about, implementing, and evaluating cutting-edge research-oriented approaches. Prior research experience is desirable but not mandatory. The work will involve close collaboration with other members of the lab.The level of appointment will be commensurate with qualifications, skills, and experience. Compensation will be as per norms published by Government of India.