Sort by
Refine Your Search
-
of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms
-
Laboratory (LISM, UMR 7255, CNRS-Aix-Marseille University). He/she will mainly be integrated into a team specializing in transport mechanisms through the bacterial envelope and filamentous phages. The team
-
LevelPhD or equivalent LanguagesFRENCHLevelBasic Research FieldPhysicsYears of Research ExperienceNone Additional Information Eligibility criteria • Ph.D. in Experimental high-energy Physics • Excellent
-
, hemicelluloses, pectins) and lignins and their rheological and mechanical properties, in collaboration with the Mines d'Alès and the LRP in Grenoble The project is part of the Wallmat project within the framework