développement logiciel nécessaire à l'amélioration de l'utilisabilité des types et du raisonnement coinduction dans l'assistant..., assistants de preuves (formalisation et/ou
développement), théorie des types, théorie des catégories, déduction automatique... - €2934 per month -
Voir cette offre d'emploi