Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
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
-
parameters from parasite genetic data; cf., viral genomic epidemiology, where bifurcating trees capture the ancestry of DNA sequences, and human population genetics, where the ancestral recombination graph
-
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