Sort by
Refine Your Search
-
department is available at: https://www.umu.se/en/department-of-computing-science/ Project description Graph transformation is a well-established theory that studies computational methods to transform graphs
-
-of-the-art advanced transmission electron microscopy methods. This position is part of a cross-disciplinary research effort supported by the Knut and Alice Wallenberg foundation between researchers at Lund
-
networks (CNNs), which identify local correlations in the images. However, in this project, the aim is to go beyond standard CNN-based methods by developing new approaches based on transformers, and implicit
-
to conduct high-quality research and develop the skills necessary for an academic or industry research career. This includes: Conducting original research in formal methods and automated planning
-
about Automated Reasoning'. From a fundamental research perspective, this relates to the automation of meta-reasoning pertaining to general-purpose reasoning methods. Here, the intended focus is on
-
, or a foreign degree considered on par with a doctoral degree. The ideal candidate holds a PhD degree in e.g Biomedical research or related subjects. In addition to formal competence, University