Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
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
-
monuments in optical and experimental hutches; Beamline instruments and equipment. Perform calculations and compile formal reports on surveying activities Mechanical activities: Create technical drawings
-
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
-
Inria, the French national research institute for the digital sciences | Palaiseau, le de France | France | 3 months ago
, ...), software architecture and programming paradigms, software engineering, good practices and software development tools (versioning, documentation, compilation, packaging...) Knowledge and/or experience in one
-
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