-
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, implementing
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 6 hours ago
, co-authoring publications, and presenting research at national and international venues. As part of a dynamic, collaborative team operating at the intersection of biomedical informatics, semantic
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 6 hours ago
at improving how researchers interact with complex data and analysis workflows. Potential project areas include developing semantic search capabilities to help users efficiently locate relevant datasets
-
Responsibilities Research: - Conduct research in AI reasoning, semantic modeling, and knowledge graph development. - Develop and optimize graph databases for structured knowledge representation. - Apply neural
-
. Prior work with data curation, metadata standards, or semantic similarity measures, especially in the context of research reproducibility. Strong communication and writing skills, with a track record of
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 6 hours ago
is available at UNC under Prof. Mohit Bansal in the UNC-NLP Lab. The focus of this NLP+ML postdoc position will include, but is not limited to, multimodal+embodied semantics, human-like language
-
implementation of various components of a dialogue-based tutoring systems including but not limited to dialogue manager, semantic interpreter, question generator, student model, and domain model; help with