-
the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be carried out within the EconomiX research unit and within the EOS doctoral school of Paris
-
been proposed: traditional computer‑algebra methods [3], reduction of the problem modulo a prime p [6, 2], and symbolic‑numeric methods [4, 1]. This postdoc proposal concerns the second modular approach
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions