Flow BETA

Flow Card

Title & Categories to be updated 1672369886.8020221447

Title & Categories to be updated 1672369886.8020221447 - Flow Card Image
Personal Growth

About this opportunity

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/

Guided action

Is this worth acting on?

Ask Flow for a fast read on fit, details, trust, and next steps. If you want to apply or prepare, move into FlowApply and add evidence before drafting.

Prepare application Understand details Check fit Verify source Ask for help
Ask if this fits meUnderstand, verify, decide Add evidence and actOpen FlowApply workspace
Related