Calendrier de Évènements
L lun
M mar
M mer
J jeu
V ven
S sam
D dim
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
1 évènement,
Recrutement d’un technicien BAP E en NOEMI CNRS
Le laboratoire GREYC recrute un technicien BAP E (NOEMI CNRS), n'hésitez pas à candidater ! Pour des détails consulter ce lien.
2 évènements,
Recrutement de 6 enseignant.e.s-chercheur.se.s en TAL, Apprentissage, IA et Algorithmique, Sécurité Informatique(CPER avec charge d’enseignement réduite)
Dans le cadre des projets CMA SATIN, NORMANTHIIA et CYRCE, l'Université de Caen Normandie recrute six enseignant.e.s-chercheur.se.s en traitement automatique des langues, apprentissage machine, intelligence artificielle et algorithmique, et sécurité informatique (contrats de projet d’enseignement et de recherche avec charge d'enseignement réduite). La personne recrutée sera rattachée au département MIM de l'UFR des Sciences et … Continue reading Recrutement de 6 enseignant.e.s-chercheur.se.s en TAL, Apprentissage, IA et Algorithmique, Sécurité Informatique(CPER avec charge d’enseignement réduite)
4 évènements,
Recrutement d’un apprenti de BUT 3 INFO pour le développement et déploiement de logiciels de recherche
Le service Développement et Déploiement d'applications (DDA) du laboratoire GREYC UMR CNRS 6072 souhaite recruter un apprenti de BUT 3A INFO afin de maintenir, déployer et documenter des applications logicielles portant sur ses activités de recherche. Retrouvez cette offre sur notre rubrique emploi à https://www.greyc.fr/laboratoire/#OffresPosteNonPermanent
Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Julien Grange (LACL, Univ. Paris-Est Créteil)
Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Julien Grange (LACL, Univ. Paris-Est Créteil)
We carry on the study initiated by Bérard et al. of the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modeled by data words (i.e. finite or infinite words were positions are labeled by an unbounded alphabet), and specifications are given … Continue reading Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Julien Grange (LACL, Univ. Paris-Est Créteil)
3 évènements,
3 évènements,
3 évènements,
3 évènements,
3 évènements,
3 évènements,
4 évènements,
Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Denis Kuperberg (LIP, ENS Lyon)
Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Denis Kuperberg (LIP, ENS Lyon)
History-deterministic automata are intermediary between deterministic and nondeterministic ones, and have been the object of thorough study in the last decade. They offer a way to get a better grasp of the power of nondeterminism, by allowing only some aspects of it: nondeterministic choices are allowed to depend on the past of the computation but … Continue reading Séminaire Algorithmique « Synthesis for fragments of first-order logic on data words », Denis Kuperberg (LIP, ENS Lyon)
3 évènements,
3 évènements,
3 évènements,
3 évènements,
Recrutement à l’IUT GON de 4 enseignant.e.s-chercheur.se.s en Informatique, IA pour les gestion et l’analyse des données, sécurité Informatique (CPER avec charge d’enseignement réduite)
Dans le cadre des projets CMA NORMANTHIIA et CYRCE, l'Université de Caen Normandie recrute quatre enseignant.e.s-chercheur.se.s en informatique, intelligence artificielle pour la gestion et l'analyse des données, et sécurité informatique (contrats de projet d’enseignement et de recherche avec charge d'enseignement réduite). La personne recrutée sera rattachée aux départements Informatique, Réseaux et Télécom ou Sciences des … Continue reading Recrutement à l’IUT GON de 4 enseignant.e.s-chercheur.se.s en Informatique, IA pour les gestion et l’analyse des données, sécurité Informatique (CPER avec charge d’enseignement réduite)