Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- University of Bergen
- Harvard University
- Humboldt-Stiftung Foundation
- ;
- Nanyang Technological University
- The University of Queensland
- University of British Columbia
- University of Texas at Austin
- Barnard College
- National University of Singapore
- Nature Careers
- 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
-
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 Protection in Digital
-
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
-
formal ontology and philosophical logic, yet tailored to the practical needs of, e.g., complex engineering information systems. Collaborate with domain experts to develop methods for capturing and
-
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
-
positions will be formally appointed through the AIBN; with one Postdoctoral Research Fellow based at AIBN, while the other will work primarily with the collaborating chief investigators at The Queensland
-
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
-
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
-
. 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