Flow BETA
Title & Categories to be updated 1672369886.8020221447
Title & Categories to be updated 1672369886.8020221447 - Flow Card Image

Umeå University (Sweden) is seeking 4 Ph.D. students to strengthen the group on Formal Techniques for Knowledge and Data Management, funded by the WASP program (Wallenberg AI, Autonomous Systems and Software Program). The main theme of the research is the applications and further development of logic-based methods and techniques for smart data management. The students will also join the WASP Graduate School, gaining access to a vast professional network involving other top institutions in Sweden. We seek students with a strong interest in the following research areas: * Knowledge Representation and Reasoning * Description Logics * Foundations of Databases * Logic for Computer Science * Computational Complexity of Reasoning * Non-monotonic Reasoning * Logic Programming * Automated Reasoning * Formal Methods The positions are fully funded for 4 years. https://www.umu.se/en/work-with-us/open-positions/4-phd-student-in-computing-science-with-focus-on-logic-based-methods-for-data-management_571478/

Categories : Personal Growth

Ask Flow
     
Related