Sort by
Refine Your Search
-
educational programs in Computer Science, we are now seeking a PhD student with a focus on Neuro-Symbolic Graph Transformation. The Department of Computing Science has been growing rapidly in recent years, with
-
research in the areas of condensed matter physics, nanotechnology, photonics, and theoretical and computational physics. We announce a PhD position for a project focusing on simulation and artificial
-
3 Sep 2025 Job Information Organisation/Company Umeå University Research Field Computer science » Informatics Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage
-
educational programs in Computing Science, we are now seeking a PhD student with a focus on Computer Security. The Department of Computing Science has been growing rapidly in recent years, with a focus on
-
education to enable regions to expand quickly and sustainably. In fact, the future is made here. We are recruiting a full professor in Computing Science with a focus on technical aspects of Software
-
education to enable regions to expand quickly and sustainably. In fact, the future is made here. Umeå University is offering a PhD student position in Computer Science with a focus on visual language
-
to didactics of computer science. Pedagogical skills The pedagogical skills for employment as associate professor should be demonstrated by documented experience of teaching with scientific foundation
-
educational programs in Computer Science, is now seeking a PhD student with a focus on symbolic AI. The Department of Computing Science has been growing rapidly in recent years, with a focus on creating an
-
Umeå University is one of Sweden’s largest higher education institutions with over 37,000 students and about 4,700 employees. The University offers a diversity of high-quality education and world-leading research in several fields. Notably, the groundbreaking discovery of the CRISPR-Cas9...
-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers