stream for undergraduate level opportunities

Stream: general

[Kayla Thomas]

In parallel with the job postings stream, I was wondering if it would be possible to have a stream dedicated to opportunities for people without a doctorate or who are newer to the field, along the lines of graduate programs looking for students.

[Scott Morrison]

I don't want to discourage this idea, because it is a very good one, and I hope we will see more posts about this. But, given that both post- and pre-doctoral announcements are infrequent, I'm not sure of the value of separating them out. We certainly already have announcements about PhD positions in job postings (don't we?). In fact keeping them all in one places probably has extra value (everyone is more likely to use it if there's only one place to know about).

[Johan Commelin]

I agree with Scott. If needed we can rename job postings to be slightly more general (but I don't have a concrete suggestion atm). At least we could clarify the scope in the extended stream description.

[Johan Commelin]

Currently the description is

Job postings related to Lean or theorem proving

[Scott Morrison]

I changed the description to "Job postings and opportunities for students, related to Lean or theorem proving". Happy to take suggestions!

[Kayla Thomas]

Thank you!