Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 2 months ago
Representation, Database Theory and Logics have made impressive progress to design fragments of logic for which satisfiability is decidable such as Guarded Fragments, Description Logics and proposed different
-
often unguided by theory. This disorganized approach can lead to ineffective combinations or contradictory mechanisms of action (Michie et al., 2013). Their implementation must be carefully tailored
-
). - Ability to work independently and as part of a team. - Good level of oral and written communication in English. - Good interpersonal skills. Experience : Signal processing: theory, algorithms and biomedical
-
PostDocs, and several Ph.D. students. More in general, research at LAAS-CNRS spans robotics, optimization, control, telecommunications, and nano-systems. The robotics department at LAAS-CNRS counts more than
-
, including 180 permanent staff (researchers, professors, engineers, technicians, and administrative personnel) and around 180 non-permanent staff (PhD students, postdocs, and fixed-term contracts). Each year
-
carried out within the Theory team of the Solid State Physics Laboratory (CNRS-UMR 8502). This research project receives funding from the French National Research Agency (ANR). Self-assembly
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | about 1 month ago
arithmetic cores for FPGAs). The team hosts 6 faculty, 6 PhD students, 3 postdocs, 2 engineer, and multiple research interns. Additional information can be found on team website: https://team.inria.fr/emeraude
-
Arts et Métiers Institute of Technology (ENSAM) | Paris 15, le de France | France | about 1 month ago
. "Theory-guided data science: A new paradigm for scientific discovery from data." IEEE Transactions on knowledge and data engineering 29.10 (2017): 2318-2331. - Baker, Nathan, et al. Workshop report on basic