В прошлом году была тема под названием SoCIS - тот же гсок, только оплачивается европейским космическим агентством
Правда, после того, как я выбрал проекты, прочитал ~100 страниц документации к сетевым протоколам для космических кораблей и написал два пропозала по 10 страниц, им внезапно обрубили финансирование и в итоге набрали всего 17 человек
(Забавно, что один из взятых мною проектов менторил сам организатор сокиса - в итоге даже на этого чувака бюджета не хватило и он никого не смог взять)
В этом году мб тоже есть, не смотрел.