Universitätsassistent in (post-doc)
WienTechnische Universität Wien
...fachlich passenden Doktorates in Informatik und fundierte Kenntnisse in Automated Reasoning, Typed First-Order Logics und ML Erfahrung in internationaler Forschungskooperation, insbesondere im Rahmen des TPTP Input Standard Erfahrung in Softwareentwicklung, Daten Management und das TPTP Projekt Erfahrung mit [...]
Kategorie Ingenieurwesen