1 mathematics-graph-theory Postdoctoral scholarships at Aarhus University

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for mathematics-graph-theory positions

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 11 hours 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

Searches related to mathematics graph theory

Enter an email to receive alerts for mathematics-graph-theory positions