Dear Codeforces Community,

The Chatterjee group at Institute of Science and Technology Austria (ISTA) is hiring scientific interns for summer 2024. The group’s research focuses on (stochastic) game theory, formal methods, and program verification.

The target group is mainly the 3rd and 4th year undergraduate students with strong mathematical and algorithmic background. Having prior research experience is a plus.

Internship positions at ISTA are fully-funded and the desired time frame is from July to September 2024 (flexible). Unfortunately, a remote internship is not possible at the moment.

In case you are interested, send your CV and transcript to [email protected] by December 31st.