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.
A sharing platform for the Computer-Aided Verification community
