[finite-model-theory] [Vardi-list] Postdoc Position - Analysis Techniques for DNNs