Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- Humboldt-Stiftung Foundation
- University of Texas at Austin
- ;
- Harvard University
- Nanyang Technological University
- University of Bergen
- Durham University
- National University of Singapore
- Nature Careers
- The University of Queensland
- University of Birmingham
- University of British Columbia
- Barnard College
- Florida Atlantic University
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- Massachusetts Institute of Technology
- Northeastern University
- University of Glasgow
- University of Nottingham
- University of South-Eastern Norway
- University of Texas at El Paso
- Western Norway University of Applied Sciences
- Zintellect
- Zukunftskolleg, University of Konstanz
- 15 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
-
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 Twins Apply for this job See
-
into products and services for Continental through close collaboration with its business units. Key Responsibilities: Conducting the research in AI domains and formal methods Applying the developed research ideas
-
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
-
Massachusetts Institute of Technology | Cambridge, Massachusetts | United States | about 17 hours ago
AI methods. Candidates’ will be working on projects at the forefront of one of the six research areas of: Biology/Bioengineering, Brain and Cognitive Sciences, Chemistry/Chemical Engineering, Materials
-
to: Investigate how logical and philosophical theories can support the structuring and modelling of knowledge in practical contexts. Participate in the development of IMF by bringing in methods from formal ontology
-
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
-
convolutional neural networks (CNNs), generative AI methods such as diffusion models, and interpretability techniques commonly applied in hydrology including SHAP or LIME for explaining outputs of forecasting
-
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
-
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