3 formal-semantics "https:" Postdoctoral positions

Sort by: relevance | listed |

Enter an email to receive alerts for formal-semantics "https:" positions

Postdoc: Networked Systems Abstractions Lab (LASeR)

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

Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and
Two Postdocs in Programming Languages

Chalmers University of Technology | Gothenburg, Nebraska | United States | 2 months ago

international environment spanning the Functional Programming and Formal Methods units. We conduct world-leading research in programming language design, semantics, interactive theorem proving, and
Post Doc positions for the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Aarhus C, Region Midtjylland | Denmark | about 2 months ago

logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed

Enter an email to receive alerts for formal-semantics "https:" positions