-
of definitions, theorems and proofs. We would like to apply this to make the use of computer formalisation practical and current for mathematical research writing. Where to apply Website https://emploi.cnrs.fr
-
2 Sep 2025 Job Information Organisation/Company CNRS Department Maison de la Simulation Research Field Computer science Mathematics » Algorithms Researcher Profile Recognised Researcher (R2) Country
-
21 Aug 2025 Job Information Organisation/Company CNRS Department Laboratoire d'analyse et d'architecture des systèmes Research Field Computer science Mathematics » Algorithms Researcher Profile
Searches related to computational mathematics
Enter an email to receive alerts for computational-mathematics positions