PhD - Neurosymbolic Reasoning for Domain-Adaptive Generative AI
Do you want beneficial technologies being shaped by your ideas?
Do you want beneficial technologies being shaped by your ideas?
Infrastruktur für produktive KI-Anwendungen bauen und betreiben – von der Dev-Umgebung über CI/CD bis zum stabilen Betrieb beim Kunden und a
Zur Unterstützung der Airspace Control Solutions, sucht Airbus Defence and Space einen Praktikanten im Bereich KI-Erweiterung für technische
In order to support the Data Processing & Analytics department, Airbus Defence and Space is looking for an Intern as a Digital-Twin Spacecra
We investigate how AI agents can combine medical images with clinical information, plan and execute analytical steps, learn from feedback, a
Wir schreiben dir, sobald eine neue geprüfte Stelle dazukommt. Höchstens eine Nachricht am Tag, und nur, wenn es tatsächlich etwas Neues gibt.
Abmelden mit einem Klick, jederzeit. Keine Weitergabe an Dritte.
Your Contribution Do you combine strong statistical and machine learning expertise with the ability to build agentic AI solutions from the ground up?
We are looking for a Senior Machine Learning Engineer to join ML Core, the team that builds the shared ML models behind SoundCloud’s recomme
Key responsibilities in your new role - Automation: You develop Python-based automation, utilities, and data-processing solutions for chip d
Agent architecture — Design the multi-agent system: agent boundaries, event contracts, orchestration patterns, and the separation between LL
XALT builds AI solutions that actually work – not just as proof-of-concepts, but in production.
umfassen: Entwicklung und Programmierung KI-gestützter Simulations- und Optimierungsmethoden für komplexe Intralogistiksysteme Kombination v
greenteg AG develops high-tech thermal sensing solutions for an international customer base.
Verantwortet die Roadmap agentischer Analytics-Produkte, von Discovery bis Launch, und definiert Qualitätsmetriken für KI-Agenten auf ClickHouse.
In order to support the Data Processing & Analytics department, Airbus Defence and Space is looking for an Intern as a Digital-Twin Spacecra
Baut Power-BI-Dashboards für KPIs, analysiert Produktionsdaten und prototypisiert erste KI-Lösungen für Prozessverbesserungen.
XALT builds AI solutions that actually work – not just as proof-of-concepts, but in production.
Company:Qualcomm Technologies GmbHJob Area:Interns Group, Interns Group > Workstudy InternGeneral Summary:PhD Company: Qualcomm Technologies
We are the Big Data Analytics Platform.
Entwirft die KI-Architektur für Robotik, wählt Modelle wie VLA-Policies aus, implementiert sie und validiert sie an physischen Robotern.
Senior KI Spezialist (m/w/d) Job-Nummer: req383 Bei ulrich medical begeistern wir uns für die Gesundheit und die Lebensqualität von Menschen.
Focus: Building and developing software applications with a focus on APIs and GenAI-based solutions in client projects - You work as part of
and Impact As an AI/ML Software Engineering Graduate Intern, you will contribute to the design, development, and optimization of cutting-edg
Build and improve LLM agent workflows for nursing forms, assessments, care reports and care-plan suggestions, working on tools, context, state and prompts.
At Helsing we deliver AI-based capabilities and the enabling foundation that allow machines to perceive and assist human decision-making.
At Helsing we deliver AI-based capabilities and the enabling foundation that allow machines to perceive and assist human decision-making.
Warum dieser Job gelistet ist
KI ist Gegenstand der Rolle (Kernbegriffe in Titel/Anforderungen). Prüfverfahren ansehen
Do you want beneficial technologies being shaped by your ideas? Whether in the areas of mobility solutions, consumer goods, industrial technology or energy and building technology - with us, you will have the chance to improve quality of life all across the globe. Welcome to Bosch.
The Robert Bosch GmbH is looking forward to your application! Employment type: Limited Working hours: Full-Time Joblocation: Renningen Large Language Models (LLMs) have demonstrated remarkable capabilities across a wide range of tasks. However, their performance often degrades in highly specialized domains that require precise structural reasoning, consistency, and domain-specific knowledge.
In electronic hardware design, existing LLMs struggle with the structural and semantic complexity of circuit descriptions. Hardware designs are represented as interconnected graphs, including netlists, schematics, and hierarchical design projects. These representations carry essential information that is lost when converted into purely sequential text.
As a part of our team, you will research novel methods for adapting generative AI systems to specialized domains by integrating structured symbolic knowledge, without relying on extensive model retraining. Your investigation will focus on mechanisms that enable Large Language Models (LLMs) and other foundation models to leverage external knowledge representations such as knowledge graphs, ontologies, and formal design representations while preserving the reasoning capabilities of symbolic systems. You will develop innovative approaches that enable generative AI models to interact directly with these structured representations, allowing for more precise reasoning, design assistance, verification, and code generation.
Through your work, you will make a key contribution to the development of next-generation AI systems that combine the flexibility of neural models with the reliability, interpretability, and structured reasoning capabilities of symbolic representations. Education: excellent Master s degree in Computer Science, Mathematics, Engineering, or a related field Experience and Knowledge: solid knowledge of computer science, artificial intelligence, machine learning, data science, or electrical engineering; experience with deep learning, graph algorithms, and knowledge representation; knowledge of hardware design is an advantage Personality and Working Practice: you approach interdisciplinary research questions with curiosity and creativity, engage openly with others, communicate your ideas clearly, and actively seek out new challenges Languages: fluent in English, German is a plus Work-life balance: Flexible working in terms of time, place and working model. Health & Sport: Wide range of health and sports activities.
Childcare: Intermediary service for childcare services. Employee discounts: Discounts for employees. Room for creativity: Space for creative work.
In-house social counseling and care services: Social counselling and intermediary service for care services. The recruitment contact or superior will be happy to provide information about the individual benefit plan. BLEME1 DE
Interesse an dieser Position?
Die vollständige Anzeige und das Bewerbungsformular liegen beim Arbeitgeber.
Zur Originalanzeige