Sort by
Refine Your Search
-
Listed
-
Employer
- Chalmers University of Technology
- SciLifeLab
- KTH Royal Institute of Technology
- Karlstad University
- Linköping University
- Swedish University of Agricultural Sciences
- The Swedish University of Agricultural Sciences
- Umeå University
- Umeå universitet stipendiemodul
- University of Lund
- Uppsala universitet
- 1 more »
- « less
-
Field
-
design. Perform large-scale computational screening using first-principles calculations and machine-learning potentials. Analyze structure–property relationships and extract scientific insights from AI
-
the following areas: Programming language semantics and type systems Functional logic programming Property-based testing Interactive theorem proving (such as Agda, Lean, or Rocq) Domain-specific
-
—is considered an asset. We are looking for candidates who: Can formulate and further develop research questions and justify methodological choices Can structure their own scientific development and
-
expect you to have documented expertise in one or more of the following areas: Programming language semantics and type systems Functional logic programming Property-based testing Interactive theorem
-
models for inverse materials design. Perform large-scale computational screening using first-principles calculations and machine-learning potentials. Analyze structure–property relationships and extract
-
partners. FiSRE aims to make resilience a built-in design property of 6G, alongside efficiency and sustainability, so that networks continue to deliver critical services not only during faults but also under
-
of these platforms toward clinically relevant, novel diagnostic modalities, including contributing to intellectual property rights, development of collaborative partnerships with clinical researchers, and preparation
-
. Documented experience in research on legal processes, especially with qualitative methods such as interviews, document analysis, and/or feminist legal theory, is an asset. Special weight will also be placed