-
input sanitisation techniques; Contributing to data system evolution in the domain of zero-trust, cloud-native, infrastructure- and policy-as-code applications; Run-time anti-tamper and detection software
-
. the investigations into the physical consistency between different satellite-derived climate data records (e.g. aerosol and cloud properties), and the impact of inconsistencies in the data on applications. the quality
-
++ and Python programming languages. Experience in open source projects, GPU programming, distributed computing and cloud computing are considered to be strong assets. The position of Research Fellow at
-
research (e.g., integer linear programming and constraint programming); heuristics, meta-heuristics, and evolutionary computations; distributed and cloud computing; automated reasoning (e.g., formal and