3 Max Planck Institutes are offering CS research internships next summer. We are looking for advanced students in all areas of CS. Applicants do not need prior research experience. The application deadlines are December 31 and January 31: https://www.cis.mpg.de/internships
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Postdoc and Internship positions at IBM Research | 0 | 730 | October 14, 2022 | |
| Job opening: visiting research programmer, machine learning for Coq | 0 | 729 | March 12, 2022 | |
| Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms | 0 | 985 | January 24, 2020 | |
| Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts) | 0 | 175 | December 18, 2023 | |
| CoqPL 2020: Deadline extended to 27 Oct | 0 | 425 | October 24, 2019 |