Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages
-
the formal and functional properties of gestures and their relationship to discourse. - Support for computational modeling: o Contributing to the gesture–speech modeling carried out by Loria, based
-
Biological sciences » Other Medical sciences » Epidemiology Medical sciences » Health sciences Researcher Profile First Stage Researcher (R1) Positions PhD Positions Application Deadline 30 Mar 2026 - 23:59
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be completed
-
leader in the digital world. We are looking for a teacher-researcher in formal methods in the field of hardware and software. You will join the ACES team within the INFRES department. Scientific context
-
engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing
-
Description RESEARCHER PROFILE: Postdoc/R2: PhD holders RESEARCH FIELD(S)1: Environmental Science MAIN SUB RESEARCH FIELD OR DISCIPLINES1: Biological sciences, geography JOB /OFFER DESCRIPTION The ClimatFeux
-
, etc.). Robust AI (knowledge of methods for quantifying uncertainty in deep learning or formal verification methods applied to deep learning) Embedded AI Reinforcement learning, supervised and