-
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
-
depending on their background, expertise and affinities. Possible directions include: Design and semantics of network programming languages in the NetKAT family, including quantitative and probabilistic
-
, GDAL) and spatial databases. Knowledge of urban heat island analysis and/or flood risk modelling is a major asset. Experience in the development or the coordination of a web-based geospatial platform is
Searches related to semantic web
Enter an email to receive alerts for semantic-web positions