Stream: Archive Mirror: Isabelle Users Mailing List

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

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: Oct 09 2025 at 01:37 UTC