Sort by
Refine Your Search
-
Employer
-
Field
-
, Ontology engineering, Computational geoscience, or a related field; a strong interest in conceptual modeling, semantic modelling, ontology engineering, formal logics or cognitive modelling, and some
-
; develop a hybrid question parsing pipeline using NLP and formal semantic representations; investigate Large Language Models (LLMs) as well as symbolic AI for question parsing; evaluate models based on a
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions