Sort by
Refine Your Search
-
sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings
-
and production of software tools for in silico screening of chemical libraries and rational drug design of molecules for therapeutic purposes. - Contribute to the development of a high-throughput
-
for a duration of six years. NumPEx contributes to the design and the development of numerical methods, software components and tools that support future productive European exascale and post-exascale
-
efficiency). - Contributing to scientific validation, writing publications, and disseminating results. - Software development (C++/Python) in a ROS 2 environment and robotics simulators. - Integration
-
simulation software modelling the dynamic behavior of dislocations (DDD) in 3 dimensions, coupled with a spectral solver based on FFT. The procedures must analyze the simulated 3D microstructures to compare
-
learning applied to dynamic systems; Proficiency in key machine learning libraries (PyTorch, JAX, etc.); Mastery of Python and the software ecosystem for scientific data analysis and management (NumPy
-
laws, meshing, finite element process simulation (static and dynamic analysis), parametric analysis, and experimental verification. CHARACTERIZATION AND TESTING : Mechanical testing (tension, bending
-
, contributing to a new lithotectonic map of the Aquitaine basement. The present-day lithosphere temperature structure will be modeled using petro-physical modeling (LitMod2D 2.0 software) along a ~1000 km
-
teams aim to increase the diversity and dynamism of data, services, interaction devices, and use cases in order to influence the evolution of software and systems to guarantee essential properties such as
-
tasked with developing and implementing new efficient numerical methods for high-frequency wave propagation problems in the finite element open-source software FreeFEM developed at Laboratoire Jacques