-
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
-
systems in terms of development effort, features, and performance. Its missions include the design and implementation of verified inference components, the formalization of GPU kernel semantics, the
-
structure Implement data-ingestion and similarity-matching logic that completes missing component information (GNN) Build a lightweight web interface: data upload in, ranked results out Work independently
-
, Linux, and Mac environments; hardware (processors, memory, graphics cards) Server management: iDRAC, Proxmox Storage management: Synology, QNAP Authentication: keycloak, OIDC Web & hosting WordPress
-
, 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