![](https://international.tau.ac.il/sites/english.register.tau.ac.il/files/styles/researcher_bg_924_291/public/open-Opportunities-profile.png?itok=ojcRHplX)
![Prof. Ori Lahav](https://international.tau.ac.il/sites/english.register.tau.ac.il/files/styles/researcher_photo_180_x_180/public/Avatar-Male-grey_7.png?itok=8BIHRQBM)
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
Computer Science degree