2 algorithms-"Multiple"-"St"-"Universidade-do-Minho---ISISE" positions at University of Southern Denmark in Denmark

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | about 11 hours ago

work across disciplines. The candidate will be attached to both FORM (hosted by the Department of Mathematics and Computer Science) and DIAS and should be prepared to engage in multiple and diverse

PhD Positions at the SDU Centre for Software Technology

University of Southern Denmark | Denmark | 11 days ago

vision to reduce algorithmic complexity by orders of magnitude, e.g. by tracing paths of trees and extraction from knowledge bases (KBs), as opposed to pure DL Defining specific CSK-premises (in