1 python-"https:"-"BCAM-The-Basque-Center-for-Applied-Mathematics" Postdoctoral positions at AI4I in Italy

Postdoctoral Research position on Adversarial Machine Learning & Formal Verification

AI4I | Italy | 28 days ago

machine learning, robustness, or formal verification (e.g., NeurIPS, ICML, ICLR, IEEE S&P, USENIX Security, CCS). Proficiency in Python and experience with at least one additional programming language such