34 formal-semantics "https:" positions

Sort by: relevance | listed |

Enter an email to receive alerts for formal-semantics "https:" positions

Public notice for one research grant Refª BI|2026/859 Project IWGDM/CoUDLabs - funded by INESC ID Application submission from 27-Feb to 12-Mar-2026

INESC ID | Portugal | about 2 months ago

water utility data into a consistent, documented target model (schemas +semantics). 2. KAG-based assistance: develop KAG components that support (semi-)automatic harmonisation tasks such as field mapping
Public notice for one research grant Refª BI|2026/859 Project IWGDM/CoUDLabs - funded by INESC ID Application submission from 20-Feb to 06-Mar-2026

INESC ID | Portugal | about 2 months ago

a pipeline to map multi-source water utility data into a consistent, documented target model (schemas +semantics). 2. KAG-based assistance: develop KAG components that support (semi-)automatic
POSTDOCTORAL SCHOLAR

The University of Iowa | Iowa City, Iowa | United States | about 1 month ago

. 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
Senior Data Engineer

University of Texas at Austin | Austin, Texas | United States | 3 months ago

ticket discounts Access to UT Austin's libraries and museums Free rides on all UT Shuttle and Capital Metro buses with staff ID card For more details, please see: https://hr.utexas.edu/prospective/benefits

Enter an email to receive alerts for formal-semantics "https:" positions