Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Groningen
- Utrecht University
- Aalborg University
- Cranfield University
- Ghent University
- MASARYK UNIVERSITY
- Nature Careers
- Technical University of Munich
- University of Luxembourg
- ; Cranfield University
- Faculdade de Ciências da Universidade de Lisboa
- Forschungszentrum Jülich
- KU Leuven
- Leiden University
- Lulea University of Technology
- NTNU - Norwegian University of Science and Technology
- Technical University of Denmark
- UiT The Arctic University of Norway
- Universitat pompeu fabra
- University of Southern Denmark
- University of Twente
- 11 more »
- « less
-
Field
-
AI-Driven Digital Twin for Predictive Maintenance in Aerospace – In Partnership with Rolls-Royce PhD
a standards-aligned semantic framework to ensure interoperability, reusability, and scalability across systems and sectors •Model system degradation over time by developing temporal knowledge graphs
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
At the Technical Faculty of IT and Design, Department of Computer Science, one PhD stipend/Integrated PhD stipend in theories for programming semantics, methods for verification and reliability
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) is looking for a: PhD Candidate on Expressivity of Imperative Programs (1.0 FTE) The semantics
-
Coexistence, Tactile Internet, Earth Observation, and Autonomous Transportation. As far as technical enablers are concerned, we leverage expertise on advanced technologies including semantic/task-oriented data
-
Autonomous Transportation. As far as technical enablers are concerned, we leverage expertise on advanced technologies including semantic/task-oriented data processing, signal processing, network resource
-
) in semantics at the Department of Czech Language. The successful candidate will work within a research project hosted at Masaryk University, Brno and investigated jointly with the Charles University in
-
. -Machine learning code generation for autonomous translation of payload data semantics. -Dictionary learning and algorithms for translation between major data modeling languages. -Model-based System
-
in cyber-physical systems are susceptible to breaches of security, safety, and liveness guarantees. To this end, a rigorous mapping of selected semantics found in manufacturing automation protocols as