-
the compilation and verification of protocols such as BGP Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with
-
this new hybrid network. Your code will directly enable the next generation of energy-efficient AI clusters. Project scope You will bridge the gap between custom optical hardware and standard AI software
-
software which will contribute to achieve CIBM strategic objectives https://cibm.ch/the-center/ Main duties and responsibilities Liaise with the IT services of partner institutions (CHUV, UNIL, EPFL, UNIGE
Enter an email to receive alerts for hardware-"https:" "https:" "https:" positions