2 software-verification-postdoc-"https:" positions at EPFL

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification-postdoc-"https:" positions

Postdoc: Keystone Project (Machine-Verified LLM Inference)

EPFL | Lausanne, Canton de Vaud | Switzerland | 14 days ago

outstanding candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and
Postdoc: Networked Systems Abstractions Lab (LASeR)

EPFL | Lausanne, Canton de Vaud | Switzerland | about 17 hours ago

18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc: Networked Systems Abstractions Lab (LASeR) Mission The EPFL Networked Systems

Enter an email to receive alerts for software-verification-postdoc-"https:" positions