Student internship opportunity at IST Austria
———————————————–
The Chatterjee group at IST Austria offers one paid internship position in the field of computer science, in the area of model checking of concurrent programs. The internship will start in September of 2016 and will last approximately 3 months (start date and duration slightly flexible). The ideal applicant must either hold, or be studying towards a degree in Computer Science, have excellent programming skills in C/C++, and be able to work independently on large parts of the project. Prior exposure to research and familiarity with the LLVM compiler are valued positively.
Please consult the following link for general information regarding internships at IST Austria:
https://ist.ac.at/research/internships/
Interested applicants should contact
Krishnendu Chatterjee at
Andreas Pavlogiannis at
with a short CV.