1 approximation-theory-math "https:" Postdoctoral positions in France

Post-Doctoral Research Visit F/M User Experience for formal proofs in practice

Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 2 months ago

on dependent type theory. Strong knowledge in Human Machine Interaction. Languages Advanced English. Relational skills Communicate about your ideas and results. Work autonomously, while talking about strategic