Emploi Assistant Programmes - Villeneuve-dAscq - JobisJob France Portable

1 Emploi Assistant Programmes - Villeneuve-dAscq

Post-Doctoral Research Visit F/M Formal proofs for Machine Learning Inria - Villeneuve-d'Ascq The goal of the postdoc is to formalize machine learning algorithms in the Lean theorem prover and eventually explore the use of AI to design algorithms and prove theoretical guarantees about them. The... il y a 13 jours

Top localités