GSoC: Sage

Stream: job postings

[Alex J. Best]

(I'm not officially involved in this in any way)
SageMath was also accepted as a host org for Google summer of code 2024, and one of the proposed projects (by a core Sage developer who would mentor the project) is to integrate more formalization or other automated proof tools with Sage, see https://wiki.sagemath.org/GSoC/2024, Lean is mentioned explicitly there along with other tools. Those interested in being paid to work on something Lean related or formalization related more widely over the summer and who feel they are "new or beginner contributors to open source software development" should certainly consider applying via the Sage organization too (in addition to looking at @Julian Berman's project above, of course)!