Sort by
Refine Your Search
-
Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Subject: Formally verified compilation of a Rust subset
-
it to improve code correctness, compilation success, and functional efficiency. Open questions for investigation include, but are not limited to, how to define rewards that balance compilability and
-
schemes for their discretization Knowledge of numerical optimization Knowledge of Python, Matlab and FOTRAN90 compiled code, use of high-performance parallel computing servers Ability to synthesize and
-
extended stays at partner labs in Canada or other locations as required for the project. The postdoctoral fellow will have to: Collaborate with a multidisciplinary international team to compile and
-
compilation. • Implementation of additional reliable data types for the efficient certification of numeric homotopy steps, such as special kinds of Taylor models and ball arithmetic. • Development of multi
-
) Experience with software compilation and installation chains, version management tools, testing and continuous integration (CMake, Git, GitHub, GitLab, …) The work being performed in an international context
-
bibliographical synthesis to compile all available data: horizon depth maps, sedimentary facies distribution maps, fault mapping, well data, etc., in order to build a conceptual geological model of this basin
-
in an interdisciplinary team and on several sites. Additional comments To apply for this position, interested candidates are asked to compile a dossier clearly establishing their qualifications and
-
the parameters of the experiments, we will exploit in detail all the geological and geophysical data compiled by Laurent (2021) and add to it the non-integrated drilling and gallery surveys
-
strength. Notably, Centrale Nantes was named the top institution in France in the "Engineering Schools to Change the World" ranking, compiled by Les Echos START and ChangeNOW, which evaluates schools based