-
The recruited researcher will work within the framework of the ANR project Ordered Graphs, Decompositions, Algorithms and Structures (GODASse). Due to their simple definition and versatility in modeling complex
-
aerosols. - Visualization and post-processing tools: Proficiency in visualization tools (e.g., Python) and data post-processing tools to analyze simulation results and generate graphs, maps, and diagnostics
-
programming, microfluidics, and engineering to design sophisticated algorithms for exploring and manipulating information encoded in DNA-based graphs. The position is fully funded by a prestigious CNRS
-
, automated reasoning, constraint or answer-set programming (ASP), rule-based systems); knowledge representation (ontologies, knowledge graphs, state machines); formal methods and verification (model checking