Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
factors should commonly interact to drive plant fitness and potential shifts in specific range positions (e.g., margins or center) under a changing climate, yet correlative-based SDMs lack a formal method
-
for the MODFLOW 6 Groundwater Transport Model, Techniques and Methods. Reston, VA Where to apply Website https://emploi.cnrs.fr/Offres/Doctorant/UMR6074-ARNBLO-001/Default.aspx Requirements Research FieldComputer
-
motivation letter to wolfgang.bacsa@cemes.fr and emmanuel.soubies@cnrs.fr . A formal application must also be submitted via the https://emploi.cnrs.fr/CNRS portal. However, we strongly encourage prospective
-
density functional to ab initio methods coupled to effective field theory) and related numerical and formal techniques. We are particularly fond of interdisciplinary connections and emerging technologies
-
methods, which make it possible to identify the optimal configuration of a process among a large number of alternatives. The project is funded by the ANR and brings together four complementary partners
-
of 3D crystalline structures; – depending on the candidate's profile, implementing machine learning methods (AI & machine learning) for the analysis of physicochemical data from the hpmat.org database
-
. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages
-
the formal and functional properties of gestures and their relationship to discourse. - Support for computational modeling: o Contributing to the gesture–speech modeling carried out by Loria, based
-
(HORIZON-INFRA-2024-TECH-01-01 – R&D for the next generation of scientific instrumentation, tools, methods, and solutions for RI upgrade), this position focuses on data curation activities under Work Package