Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
integration, and test infrastructure Experience using LLM-based development tools or building agentic workflows is a plus Mastery of English indispensable (oral and written); French is an asset but not required
-
prompt design as a controlled manipulation, generative voice agent pipelines, conversation logging and transcription Extending and validating existing LLM based coding pipelines for transcript derived
-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
prioritise RD as a mechanism for ecosystem resilience. The project will use Agent-Based Policy Modelling (ABPM) to simulate how actors such as land managers, farmers, local authorities, and conservation
-
through proprioception. We develop widely-used open-source tools (e.g., DeepLabCut), train biomechanically realistic embodied agents (e.g., MuscleMimic, Kinesis, Arnold), and build AI-based models
-
the exoskeleton with an AI-based digital health intervention, specifically an LLM-based conversational agent that will deliver support via a companion mobile app. The app will serve as both the user interface