-
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
-
of solar energy. https://www.epfl.ch/labs/sci-enac-as/ Main duties and responsibilities As a postdoctoral researcher, you will be expected to: Assume full responsibility for your original research; Perform
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
therapeutics. Main duties and responsibilities As a postdoctoral researcher in this program, you will be expected to develop a high quality research program, in close collaboration with partners of the SATURNA
-
the implementation of the system's data plane, applying embedded design principles to high-performance networking: SmartNIC & FPGA Programming: Implement real-time flow steering logic on devices like