Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Job-Openings in e-learning

view this post on Zulip Email Gateway (Aug 18 2022 at 13:01):

From: Joerg Siekmann <joerg.siekmann@dfki.de>
Please find enclosed job descriptions for research assistants
(post doc and/or PhDs) in the area of ITS (Intelligent Tutor
Systems).
Jörg Siekmann
Job Openings in the field of e.doc

Last updated: Feb 15 2026 at 05:19 UTC