Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
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
-
field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and semantics, automata theory and decision procedures, interactive
-
Postdoctoral Researcher in Semantic Knowledge Engineering & Interoperability in Materials Science in
translated into formal knowledge representations. These form the basis for the development and integration of semantic models into ontologies and knowledge graphs as a semantic layer of federated data
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 3 hours ago
, temporally consistent analyses at a scale current approaches cannot reach. Formalize the TSQ (Tree-sitter Query) language beyond its original syntax-highlighting purpose, turning it into a robust, well
-
of varying generality, information on semantic and formal hubs and outliers, competing affixes and frequency distributions. The postdoctoral researchers will use the Morphicon to further our understanding
-
medicine Hands-on experience working with standard common data models: OMOP CDM, HL7 FHIR Hands-on experience working with Semantic Web and metadata standards: HealthDCAT-AP, DPV, ORDL Experience programming
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
technologies including semantic/task-oriented data processing, signal processing, and network resource management to improve the performance of future wireless communication systems. Finally, due to the large
-
enablers are concerned, we leverage expertise in advanced technologies including semantic/task-oriented data processing, signal processing, and network resource management to improve the performance
-
learning, or decision-making for conversational agents; User modelling or computational modelling of engagement, curiosity, openness, or resistance; Knowledge graphs, ontologies, semantic technologies