Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
attributed hypergraph of the application (AppGraph), a composition algebra that defines which assemblies are legal, and several semantic projections (types, protocols, resources, security) over which
-
depending on their background, expertise and affinities. Possible directions include: Design and semantics of network programming languages in the NetKAT family, including quantitative and probabilistic
-
– as well as their organisation and use; they also cover the semantic nature of documents and the study of the design, production, dissemination, information and preservation of books, understood as a
-
ask of you PhD in a relevant field: (morpho-syntactic/semantic) typology, cross-linguistic psycholinguistics; Experience with structure of non-WEIRD languages, in particular languages of South-America
-
robotics. Specific application areas of focus are long-term autonomous missions in large and uncertain environments, semantic mission planning with foundation models, agentic task decomposition and event
-
. Where to apply Website https://phd.fbk.eu/calls/detail/structured-semantic-enhancement-of-3d-scene-rep… Requirements Research FieldOtherEducation LevelMaster Degree or equivalent Additional Information
-
, in particular the semantic integration of the "Preliminary Engine Architecture" tool and the GTlab framework for Large Language Models (LLMs), as well as multi-agent architectures for the automated
-
en entornos impulsados por IA. -- Contributing to the design and development of semantic interoperability frameworks based on ontologies and knowledge graphs for heterogeneous data ecosystems
-
Future robots must perceive, predict, communicate, and decide reliably in complex, human–robot shared environments. The Mobile Robotics (https://www.aalto.fi/en/department-of-electrical-engineering