2 software-verification-postdoc "https:" positions in Switzerland

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 | 10 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 | 13 days 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