Prof. Ori Lahav

Prof. Ori Lahav

Exact Sciences

orilahav@tau.ac.il
Lab website
CRIS profile page
Research work

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.

 

 

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 >>
Tel Aviv University, P.O. Box 39040, Tel Aviv 6997801, Israel