PhD and PostDoc Positions at Tel Aviv University in Israel

Ori Lahav is looking for PhD candidates and PostDocs. He writes the following: “I am seeking outstanding, ambitious and highly motivated candidates for postdoc or PhD positions to work on design and automated verification of weakly consistency shared memory models. If you are math/logic-inclined, interested in programming languages theory, concurrency, and formal methods, and want to work in Tel Aviv, do not hesitate to contact me! Experience with the Coq proof assistant is an important plus!”
If you are interested, please feel free to contact Ori Lahav.