Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- University of Oslo
- University of Bergen
- Harvard University
- Humboldt-Stiftung Foundation
- ;
- Nanyang Technological University
- Nature Careers
- University of British Columbia
- University of Texas at Austin
- Barnard College
- National University of Singapore
- The University of Queensland
- Western Norway University of Applied Sciences
- Durham University
- Florida Atlantic University
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- Northeastern University
- University of Glasgow
- University of Michigan
- University of Nottingham
- University of South-Eastern Norway
- University of Texas at El Paso
- Zintellect
- Zukunftskolleg, University of Konstanz
- 14 more »
- « less
-
Field
-
UiO/Anders Lien 17th August 2025 Languages English English English PhD Research Fellow in Formal Methods for Data Protection in Digital Twins Apply for this job See advertisement About the position
-
for all functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 17th August 2025 Languages English English English PhD Research Fellow in Formal Methods for Data
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting
-
can support the structuring and modelling of knowledge in practical contexts. Participate in the development of IMF by bringing in methods from formal ontology and philosophical logic, yet tailored to
-
workshops on place-based understanding of Just Transition and critical systems analysis. Whilst focused primarily on qualitative research methods, the role will also include collaborating with the energy
-
of the project’s four research sites, using feminist, creative, and participatory methods including qualitative interviews, counter-mapping, and Photovoice. They will analyse qualitative data, and
-
. Teaching: Whilst no formal teaching commitment is required in this role, the Research Fellow will have the opportunity to contribute to the development and delivery of teaching materials and training modules
-
Fellow in areas related to formal-method-based automatic analysis and design of robotic operational specifications to take on a position of Research Fellow to support the project entitled " Universal
-
contributing to more trustworthy and robust inferences. In specific, the candidate will: Combine formal Bayesian theoretical connections with quantitative experiments to develop methods for quantifying
-
in-depth qualitative analyses but also mixed-methods approaches, possibly enabled by emerging AI-enhanced techniques. The PhD project should overall contribute to a better understanding collaborative