Postdoctoral Position: Reliable Translation of Natural Language into Formal Specifications CNRS in France

Inria is recruiting a postdoctoral researcher for a 12-month fixed-term position at the Inria Centre at the University of Rennes in Rennes, France . The project sits in security and confidentiality / systems and networks and focuses on AI-based transfer of attacks between datasets . The research idea is to adapt style transfer concepts from image and text generation to network attack datasets. The goal is to preserve the attack behavior and impact while changing environment-specific characterist...

SOFAIR is recruiting fully funded PhD students for research in foundational AI at the UCL AI Centre in London. The opportunity is focused on advancing AI theory , novel architectures , open-source models , and trustworthy AI systems , with collaboration alongside researchers from UCL , Oxford , Cambridge , and Edinburgh . This is a 4-year studentship and is described as fully funded . The post does not mention a specific stipend amount, tuition details, or additional benefits, but it clearly ind...

Postdoctoral position in modeling conversational structure and interactions for the ANR-MINERAL project at Université Paris-Saclay in Orsay, France , within the LIPS Team at the Laboratoire Interdisciplinaire des Sciences du Numérique (LISN) . The project sits at the intersection of natural language processing , speech processing , machine learning , and computational analysis of dialogue/conversation. Applicants should have a PhD in one of these areas and be comfortable working with Python and ...

This PhD project at the IMDEA Software Institute in Madrid, Spain explores how machine learning can be combined with formal verification to build a more general synthesis framework. The research focuses on learning-enabled counterexample-guided inductive synthesis (CEGIS) , where learning methods help search efficiently through candidate solutions while verification checks correctness and returns counterexamples for further improvement. The advertised work aims to move beyond domain-specific syn...

PhD Research Fellow position in Structured Vision-Language Models at Integreat – Norwegian Centre for Knowledge-driven Machine Learning in Norway. This opening is focused on research at the intersection of computer vision, language understanding, and machine learning, with an emphasis on structured vision-language modeling. The role is suited to a doctoral candidate interested in multimodal AI, representation learning, and model architectures that combine visual and textual information in a prin...