The European Space Agency is reediting its SOCIS initiative this year. Open-source projects can submit proposals, and ESA will fund between 20 and 25 students to work during two months on these projects.
We submitted a project to extend our work on standard containers adapted to formal verification. Submit yours by July 15th!