-
provable guarantees AI-based cybersecurity: applying learning and AI-assisted techniques to network security, e.g., automata learning from security logs, validation of protocol models, and verified defensive
-
protocols Mission The Laboratory of Biomedical Microfluidics (LBMM; www.epfl.ch/labs/lbmm ) at the Swiss Federal Institute of Technology in Lausanne (EPFL), is looking for postdocs with a primary training in
-
validation, while establishing protocols for sensor calibration, spatial sampling, quality control and integration with Earth Observation data. Develop spatial, statistical and predictive models to investigate
-
building envelope performance Development of standardised test protocols for non-destructive assessment of building envelope elements Support for ongoing practical research on design for disassembly and
-
tasks As part of the NCCR-Network, you will contribute to the project aims in the areas of shaped CO2 adsorbents and sorbent ageing. Within the framework of the NCCR project with well-defined objectives