The lab of Dr. Guy Katz studies the formal analysis and verification of systems with machine-learning components, such as deep neural networks.
We are currently looking for two talented and enthusiastic postdocs to join us, as part of project that is being well funded by the Israel Science Foundation and the Semiconductor Research Corporation. The goals of the project is to develop highly scalable methods for verifying the correctness of neural networks, focusing on neural networks that are part of safety-critical systems.
Our research combines several sub-fields from the formal methods domain, such as SMT solving, Linear Programming, Abstract Interpretation, and Invariant Inference. We encourage highly motivated applicants with backgrounds in formal methods and/or optimization methods to apply.
Our lab is located at the Benin School of Computer Science and Engineering of the Hebrew University. We offer excellent research facilities and interdisciplinary scientific training. You will work on cutting-edge, high-impact research, in a young and growing lab.
- English: Good
- Suitable candidates should have (or be about to obtain) a PhD degree, and be fluent in English.
- Experience in the broad field of formal methods and software analysis.
- Experience writing code.
Deadline: 21st June 2020