PhD Position F/M Trustable Machine Learning : Analysis and Verification of Soft Automata
Inria
France
Summary
PhD position in France on Safe AI through Formal Methods. Study learning soft automata from traces, combining system theory, statistics and ML to guarantee robustness and security of neural architectures (RNNs, transformers, state-space models). 3-year fixed-term contract, 2300€/month.
