-
and machine learning. We focus on inductive logic programming (ILP), a form of inductive program synthesis which learns logical rules from data. The focus of this position is to develop ILP/program
-
with the Data Room projects, participating in their preparation either directly or by providing methodological or programming support. The researcher is also expected to participate in teaching
-
expected to actively contribute to teaching in the master’s program in social sciences, or thesis supervision and other research activities of the Institute. QUALIFICATIONS The appointee to the position must
-
machine learning. We focus on inductive logic programming (ILP), which learns logical rules from data. We primarily use automated reasoning techniques, such as SAT/ASP/SMT/MaxSAT solvers, to learn rules
-
have solid skills in programming and working with libraries for training and using machine learning models. Previous experience in managing large volumes of data and high-performance computing is