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

---

Related

• 

  Museion Fellowship: Cultivating Institution-Builders

  The Museion Fellowship, launched by the consultancy Beck&Stone, is a professional program designed to cultivate the capabilities of instit..

  Computer Science . Design . Entrepreneurship . Personal Growth . Others

• 

  Discover UChicago: Graduate Admissions Program

  Discover UChicago is an all-expenses-paid graduate admissions program designed to provide prospective students with a deep dive into the U..

  Personal Growth . Others

• 

  Early Career Research Group Leader for Machine Learning in Science

  The Cluster of Excellence "Machine Learning - New Perspectives for Science" at the University of Tübingen is seeking aspiring scientists f..

  Machine Learning . Personal Growth . Others

• 

  SIF Asia's Rising Circle (ARC)

  Asia’s Rising Circle (ARC), organized by the Singapore International Foundation (SIF), is a regional youth development program for emergin..

  Entrepreneurship . Personal Growth . Others

• 

  a16z Build: Talent Engineer Fellowship

  The Talent Engineer Fellowship by a16z Build is a specialized program designed for individuals who want to sit at the intersection of engi..

  Computer Science . Machine Learning . Entrepreneurship . Personal Growth

• 

  Malmö Residency 2026 - Sweden One Month

  The Malmö Residency is a city-wide initiative in Sweden that invites creative and open-minded individuals to spend a month in Malmö to sta..

  Personal Growth . Others