1 approximation-theory-math 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 | about 1 month 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