Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
6 Jul 2026 Job Information Organisation/Company DI ENS Research Field Computer science Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Application Deadline 30 Jul 2026
-
16 Jul 2026 Job Information Organisation/Company CNRS Department Centre de recherche en mathématiques de la décision Research Field Mathematics History » History of science Researcher Profile First
-
regions by developing interpretable and efficient methods in comparative pangenomics, leveraging machine learning methods, statistical analysis and efficient algorithm and data structures (https
-
-dominated grids, protection systems, and wide-area dynamics. Scalable algorithms and numerical methods for large-scale simulation. Scientific software and software architectures for next-generation simulation
-
to the mathematical foundations of entropy, randomness and irreversibility, with possible directions including large deviation theory, algorithmic randomness, ergodic theory, quantum entropy, operator algebras and
-
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence
the theoretical foundations of data science and AI. Responsibilities: Conduct research on automated reasoning and proof checker, AI-assisted collaboration. Develop and analyze algorithms for learning and
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | about 2 months ago
this context, the offer is about continual audiovisual robot perception, and aims to develop methods and algorithms to continuously extract cues about human behaviour from audio and visual data in real-world
-
Post-Doctoral Associate in the Center for Interdisciplinary Data Science and Artificial Intelligence
proof checker, AI-assisted collaboration. Develop and analyze algorithms for learning and optimization. Participate in collaborative research projects and mentoring. Contribute to academic publications
-
. Responsibilities: Conduct research on automated reasoning and proof checker, AI-assisted collaboration. Develop and analyze algorithms for learning and optimization. Participate in collaborative research projects
-
) rigorous evaluation of algorithmic improvements.For some inspiration on this topic, see the CertiFOX project page: https://www.bartbogaerts.eu/projects/CertiFOX/ Another long-standing objective is to