Prof. Ori Lahav
Research work

Applications are invited for PhD and postdoc positions at Tel Aviv University under the supervision of Ori Lahav ( 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.



Research Affiliation

Exact Sciences

  • School of Computer Science
Open Research Positions
Research in Computer Science
Publication date: 
February 5 2023
Position Type: 
All Levels
About the position: 

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

Candidacy Requirements: 

-Computer Science degree

To apply
Tel Aviv University makes every effort to respect copyright. If you own copyright to the content contained
here and / or the use of such content is in your opinion infringing, Contact us as soon as possible >>