Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
experience and competencies expected include at least one of the following areas: Data modelling, ontology development, and semantic technologies. Open data standards and linked data, e.g. buildingSMART and
-
Learning, quantum computing, QKD - quantum key distribution, entanglement distribution System-level design and optimization AI & Intelligence: Agentic AI, Edge AI, information semantics, e.g. for earth
-
. The postdoctoral scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions