[Proof Complexity] PhD and postdoc positions at Ben-Gurion University

[Dmitry Itsykson]

Dear colleagues,

There is an open call for PhD and Postdoc positions in theoretical computer
science at Ben-Gurion University (Israel). Proof complexity is one of the
possible topics. More details are here
https://www.cs.bgu.ac.il/~klim/Links/Call

The (soft) application deadline is May 10, 2024. You are welcome to ask me
any questions.

I would appreciate it if you share this information with someone interested.

Best regards,
Dmitry.