Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
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
-
experimental research, including experimental campaigns, data analysis and process optimization, while ensuring high standards of laboratory practice, documentation, scientific integrity and safety. You will
-
(e.g., biobanking networks, secure data environments, precision medicine initiatives). · Oversee budget planning for the human research infrastructure ecosystem. · Represent EPFL in relevant governance
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
infrastructure (servers, networking, storage in datacenter environments) Experience with IT Security best practices and principles Knowledge of core IT services: DNS, DHCP, load balancing (HAProxy), Keepalived
-
on personal workstations Set up and maintain enhanced security on CIBM's servers and sensitive machines (following IT security best practices) Implement custom solutions (software and hardware) to meet the
-
: Install and configure software, troubleshoot application-related issues and manage IT software updates for end-user machines. Network access: Manage client access to the EPFL network and resolve
-
, networking, and GPU utilization. Help maintain reproducible training recipes, configuration files, launch scripts, and documentation. Work with researchers and CSCS engineers to improve the reliability and