Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Funded Master's positions in symbolic computat...

Email Gateway (Jun 11 2026 at 08:00):

From: Temur Kutsia <kutsia@risc.jku.at>

We invite applications for funded Master's positions in the area of
Symbolic Computation and Artificial Intelligence at the Research
Institute for Symbolic Computation (RISC), Johannes Kepler University
Linz, Austria, in the frame of the RISC European College.

Please share this opportunity with interested students. Details and
application instructions are available at
https://risc.jku.at/risc-european-college/.

Last updated: Jun 12 2026 at 04:13 UTC