12 programming-"https:"-"https:"-"https:"-"CNRS"-"CNRS-" positions at UNIVERSITY OF HELSINKI
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
The University of Helsinki Research Services’ Research Management Support unit is looking for four (4) Program Managers to strengthen the coordination of the Top research areas . The positions
-
Studies. The position is linked to the international MA programme Societal Security, a two-year master’s programme focusing on the complex nature of security and conflict. The programme provides students
-
, militarisation, social and political trust and other concepts related to societal security is considered as a merit. The position is linked to the international MA programme Societal Security, a two-year master’s
-
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
-
supervise theses particularly in the Bachelor’s Programme in Cultural Studies and the Master’s Programme in Cultural Heritage, as well as supervise doctoral theses and teach in the Doctoral Programme in
-
, training and other events especially designed for our international staff members, a special UniBuddy-program and specialized support for spouses (HEI LIFE Spouse Network). Application instructions
-
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
-
special UniBuddy-program and specialized support for spouses (HEI LIFE Spouse Network). Application instructions The application, together with the required attachments, must be submitted through
-
leadership. The role requires a versatile language scholar who, in addition to specialist expertise in Russian, possesses skills aligned with the University’s strategic plan and the focus areas
-
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