

Prof. Ori Lahav
Exact Sciences
Applications are invited for PhD and postdoc positions at Tel Aviv University under the supervision of Ori Lahav (https://www.cs.tau.ac.il/~orilahav/). The ERC Starting Grant funds the positions on "Verification-Aware Programming Language Concurrency Semantics". This project concerns the development of rigorous (and machine-verified) models for shared memory concurrency that can be efficiently implemented and are amenable to formal verification.
Exact Sciences
- School of Computer Science
I am seeking exceptional math-inclined candidates who are interested (and preferably have experience) in one or more of the following topics:
- weakly consistent memory models (a.k.a. relaxed memory models)
- weak consistency in distributed key-value stores
- verification of concurrent programs and proof techniques for linearizability and contextual refinement
- dynamic analysis of concurrent programs
- the Coq proof assistant
Application Deadline: October 1, 2024
-Computer Science degree