[isabelle] posdoctoral position in Prague



One year postdoctoral research position is available at the Charles University in Prague.
See
https://www.mathjobs.org/jobs/list/18130

The call is broad and theoretically oriented. Nevertheless, one concrete option is a candidate who would want to participate on the formalization
effort in the area of Combinatorics on Words within Isabelle. See
https://gitlab.com/formalcow/combinatorics-on-words-formalized

Feel free to contact me if you want to know more.

Best regards

Stepan Holub




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.