recruiting organization and will include mobility and family allowances (where applicable), together with full social security... regulations), and access to national social security scheme…
experiments, thermal and spectral remote sensing, UAV observations, and satellite data. Initial work will take place at the... research on forest responses to atmospheric and soil drought,…
of students and junior researchers, and coordination of activities with the PV-Lab's industrial and academic partners. The... practice, documentation, scientific integrity and safety. You w…
. Possible directions include: Formalizing GPU kernel semantics (e.g., PTX/Triton) in a proof assistant and verifying high-performance... and high-performance compute for proof-assistant wo…
, and the open-source release of specifications, proofs, and verified artefacts. We seek an excellent software engineer.... Prior experience with formal verification is welcome but not requ…
: applying learning and AI-assisted techniques to network security, e.g., automata learning from security logs, validation..., or applications of AI/ML to systems and security Strong comput…
Mission The CONSTRUCT Laboratory at the School of Architecture, Civil and Environmental Engineering (ENAC), EPFL, led by Prof. David Ruggiero, is seeking two highly motivated PhD candidates…
About The Chair of Entrepreneurship and Technology Commercialization and the Entrepreneurship Education Hub at EPFL invite applications for a full-time Postdoctoral position in Entrepreneur…