Exploratory action AM2OR Adaptive Meshes for Model Order Reduction Mesh adaptation and Model Order Reduction both aim at reducing significantly the computational cost...
Exploratory action AoT.js AoT.js: Optimizing Compilation from Higher-Order Programming to Computer Architecture According to the 2022 GitHub statistics, the two most used programming languages are JavaScript...
Exploratory action APOLLON Apollo (Aristotle's POLitics : Language and numerical Optimization) The study of ideas of historical texts require an expertise identifying the context, the precise...
Exploratory action AVoCat Automated Verification of CATala programs Catala is a new programming language, designed to be understood by legal experts and to follow the...
Exploratory action AEROTouch AErial RObots with the sense of Touch Get ready for a revolution in drone technology! Aerial robots, commonly known as "drones," will be...
Exploratory action AlaMVic Distilling VMs – A Generative Approach to Virtual Machine Construction Language Virtual Machines (VMs) are pervasive in every laptop, server and smart-phone. Industry...
Challenge ALVEARIUM Large Scale Secure and Reliable Peer-to-Peer Cloud Storage Cloud storage is part of our daily lives. Most user data is stored by large service providers, GAFAM...
Job opportunities Development & Research Engineer @ Grenoble: Functional Package Manager Helping System Experiments on Supercomputers / Ingénieur R&D @ Grenoble: Gestionnaire de paquet fonctionnel pour l'expérimentation sur les Supercalculateur Deadline to apply 23/06/2024
Job opportunities PhD Position F/M Exploring the role of gene regulation in learning odors Deadline to apply 23/06/2024
Job opportunities Post-Doctoral Research Visit F/M Numerical modeling of acoustic waves in an active Sun Deadline to apply 30/06/2024
Job opportunities Post-Doctoral Research Visit F/M Post-doc in formal verification Deadline to apply 26/07/2024
Exploratory action Back In Time Baliser l’Analyse CryptographiK de lettres anciennes grâce à l’INtelligence artifi-cielle : Technique et IMplémentation Exploratoire Get ready to uncover unexpected plots and secrets as old as time! BACK IN TIME brings together the...
Exploratory action Backbone Efficient Symbolic Manipulation for Sparse Systems We seek to explicit, and then exploit, potential structural properties of algebraic systems in order...
Exploratory action CACHAÇA Compact Asymmetric Cryptography with High Assurance for Constrained Applications Fast, safe, and strong cryptography is essential for secure networked communications. Currently...