Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Umeå University
- SciLifeLab
- University of Lund
- Chalmers University of Technology
- Swedish University of Agricultural Sciences
- Linköping University
- Nature Careers
- Mälardalen University
- Linnaeus University
- Lunds universitet
- Blekinge Institute of Technology
- Karlstad University
- Malmö universitet
- NORDITA-Nordic Institute for Theoretical Physics
- Örebro University
- 5 more »
- « less
-
Field
-
for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required
-
a postdoc fellow at the AMBER programme you will get unprecedented medical, biological, and methodological capabilities, with a profound potential impact for Europe’s next generation of research and
-
postdoc fellow at the AMBER programme you will get unprecedented biological, and methodological capabilities, with a profound potential impact for Europe’s next generation of research and researchers. When
-
like computational complexity of algorithms. It’s also fairly common that we need to drill down into the code for some tool to figure out what’s wrong, so being able to read and understand code is
-
that will be affiliated with one of six possible multidisciplinary projects. The ideal postdocs will have expertise in some of the following areas: computational modeling, computational biology, computational
-
cross-layer defenses that ensure secure and efficient AI model development at scale. Information about the division The department of Computer Science and Engineering is strongly international, with
-
societal transformation and large green investments in northern Sweden create enormous opportunities and complex challenges. For Umeå University, conducting research about – and in the middle of – a society
-
societal transformation and large green investments in northern Sweden create enormous opportunities and complex challenges. For Umeå University, conducting research about – and in the middle of – a society
-
combined formal verification and AI techniques. This involves creating advanced techniques of modeling complex autonomous systems that work in unpredictable environments, capturing unpredictability, and
-
northern Sweden create enormous opportunities and complex challenges. For Umeå University, conducting research about – and in the middle of – a society in transition is key. We also take pride in delivering