-
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