12 formal-semantics Postdoctoral positions

Sort by: relevance | listed |

Enter an email to receive alerts for formal-semantics positions

Postdoctoral Researcher in Quantum Networking

University of Luxembourg | Luxembourg | about 1 month ago

expertise on advanced technologies including semantic/task-oriented data processing, signal processing, network resource management to improve the performance of the future wireless communication systems
Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | about 2 months ago

for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization

Enter an email to receive alerts for formal-semantics positions