News and Updates page title
Final Project & Student Intern Positions
I have open positions for final BSc. projects or student interns focused on software implementation at the intersection of causality, automata, and temporal logics.
To apply, please send me an email including your grades record and CV.
I have open positions for final BSc. projects or student interns focused on software implementation at the intersection of causality, automata, and temporal logics.
To apply, please send me an email including your grades record and CV.
HYPER 2026 Workshop
I am co-organizing the HYPER 2026 workshop - 5th Workshop on Hyperproperties: Advances in Theory and Applications. The workshop will take place on July 24, 2026, in Lisbon, co-located with FLoC 2026. See you there!
I am co-organizing the HYPER 2026 workshop - 5th Workshop on Hyperproperties: Advances in Theory and Applications. The workshop will take place on July 24, 2026, in Lisbon, co-located with FLoC 2026. See you there!
MSc, PhD and Postdoc Positions
I am looking for highly motivated students and postdocs!
If you are interested in formal verification, hyperproperties, causality, or automata learning, send me an email to: hadar.frenkel at biu.ac.il, including your CV
I am looking for highly motivated students and postdocs!
If you are interested in formal verification, hyperproperties, causality, or automata learning, send me an email to: hadar.frenkel at biu.ac.il, including your CV
Join our Bi-Weekly Formal Verification Seminar!
The BIU Formal Verification Seminar takes place during semseter time, every second week.
For more details, click here.
The BIU Formal Verification Seminar takes place during semseter time, every second week.
For more details, click here.