Auf einen Blick
- Aufgaben: Entwickle innovative Methoden zur formalen Verifikation für autonome Netzwerksicherheitssysteme.
- Unternehmen: Thales, ein führendes Unternehmen in Verteidigung und Cyber Security.
- Vorteile: Flexible Arbeitszeiten, spannende Projekte und Entwicklungsmöglichkeiten in einem dynamischen Umfeld.
- Weitere Informationen: Wachstumschancen in einem internationalen Unternehmen mit Fokus auf Diversität.
- Warum dieser Job: Gestalte die Zukunft der Cyberabwehr mit modernster Technologie und einem engagierten Team.
- Qualifikationen: Studium in Informatik oder verwandten Bereichen und gute Programmierkenntnisse.
Das prognostizierte Gehalt liegt zwischen 13 - 16 € pro Stunde.
Standort: Ditzingen, Deutschland
Thales ist ein weltweit führender Anbieter von Spitzentechnologien für die Bereiche Verteidigung, Luft- und Raumfahrt sowie Cyber Security und Digital Identity. In Ditzingen erwarten Sie Sicherheitslösungen zur Überwachung und Absicherung von Grenzen und Grenzkontrollen, für den Schutz ziviler und militärischer Einrichtungen sowie für die taktische Kommunikation.
Ihre Mission als Werkstudent (w/m/d) im Bereich Formale Verifikation für autonome Netzwerksicherheit:
- Erforschung und Weiterentwicklung von Methoden der Formalen Verifikation (insbesondere Probabilistic Model Checking) für lernbasierte Agenten in der autonomen Cyberabwehr
- Entwicklung und Erweiterung eines Verifikations-Frameworks zur Analyse von Robustheit, Zuverlässigkeit und Verhalten KI-basierter Cyberabwehragenten
- Durchführung und Auswertung von Verifikationsexperimenten sowie Analyse von Skalierbarkeit und Generalisierbarkeit über verschiedene Bedrohungs- und Netzwerkszenarien
- Mitarbeit an der Entwicklung robuster und vertrauenswürdiger KI-Systeme für Anwendungen in Verteidigung und Sicherheit im Rahmen von CortAIx
- Dokumentation, Präsentation und Kommunikation der Forschungsergebnisse sowie Mitwirkung an wissenschaftlichen Veröffentlichungen
Darauf freuen wir uns:
- Studium der Informatik, Mathematik, Künstlichen Intelligenz, Netzwerksicherheit oder eines vergleichbaren Fachs
- Gute Programmierkenntnisse (z. B. Python, Java, C/C++) sowie Grundkenntnisse in Maschinellem Lernen (idealerweise Reinforcement Learning und/oder LLMs)
- Interesse an formalen Methoden; Kenntnisse in Probabilistic Model Checking, Netzwerksimulation oder autonomen Agentensystemen sind von Vorteil
- Selbstständige, strukturierte Arbeitsweise sowie ausgeprägte Problemlösungs-, Kommunikations- und Teamfähigkeit
- Sehr gute Deutsch- und Englischkenntnisse in Wort und Schrift
Thales investiert jährlich mehr als 4,5 Milliarden Euro in Forschung und Entwicklung in Schlüsseltechnologien wie künstliche Intelligenz, Cybersicherheit, Quanten- und Cloud-Technologien.
Für mehr Informationen und Ihre Online-Bewerbung besuchen Sie unser Karriereportal.
Werkstudent (m/w/d) im Bereich Formale Verifikation (FV) für autonome Netzwerksicherheitssysteme Arbeitgeber: Thales
Als RF-Experte (m/w/d) in Ditzingen bieten wir Ihnen die Möglichkeit, in einem innovativen und dynamischen Umfeld zu arbeiten, das auf Teamarbeit und kontinuierliche Weiterbildung setzt. Unsere Unternehmenskultur fördert Kreativität und Eigenverantwortung, während wir Ihnen attraktive Benefits und Entwicklungsmöglichkeiten bieten, um Ihre Karriere voranzutreiben. Genießen Sie die Vorzüge eines modernen Arbeitsplatzes in einer technologisch fortschrittlichen Region, die Ihnen nicht nur berufliche Herausforderungen, sondern auch eine hohe Lebensqualität bietet.
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass du so Werkstudent (m/w/d) im Bereich Formale Verifikation (FV) für autonome Netzwerksicherheitssysteme erhalten könntest
✨Tauch ein in die Automatisierungstechnik-Community!
Schau dir lokale Meetups oder Hackathons an, die sich auf Automatisierung und Robotik konzentrieren. Dort kannst du nicht nur Gleichgesinnte treffen, sondern auch potenzielle Arbeitgeber wie Thales kennenlernen.
✨Praktische Erfahrung sammeln!
Nutze Projekte aus der Uni oder persönliche Projekte, um praktische Erfahrungen zu sammeln. Zeig bei Vorstellungsgesprächen, dass du Lösungen für reale Probleme entwickeln kannst. Das ist Gold wert!
✨Erstelle ein beeindruckendes Portfolio!
Halt alle deine Projekte und Entwicklungen in einem Portfolio fest. Das ist kein bloßes Must-Have, sondern wichtig, um deine Fähigkeiten zu präsentieren, insbesondere wenn du dich für eine Werkstudentenposition bewirbst.
✨Bewerbung direkt bei Thales!
Wenn du bei Thales arbeiten möchtest, schau direkt auf unserer Website vorbei und bewirb dich! Zeig dein Interesse und deine Motivation, denn das hebt dich von anderen ab.
Wir glauben, dass du diese Fähigkeiten brauchst, um Werkstudent (m/w/d) im Bereich Formale Verifikation (FV) für autonome Netzwerksicherheitssysteme mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Zeig deine technischen Skills!:Im Bereich Automatisierungstechnik ist es wichtig, dass du deine technischen Fähigkeiten richtig präsentierst. Erwähne spezifische Softwarekenntnisse wie PLC-Programmiersprachen oder CAD-Tools in deinem Lebenslauf, um zu zeigen, dass du mit der Technik vertraut bist. Das macht dich für Thales sofort attraktiver!
Portfolio nicht vergessen!:Obwohl du als Werkstudent startest, kann ein kurzes Portfolio von Projekten, an denen du gearbeitet hast, dir einen großen Vorteil verschaffen. Denk daran, auch Projekte, Praktika oder Studienarbeiten zu inkludieren, die deine Erfahrung in der Automatisierungstechnik zeigen. Zeig uns, was du drauf hast!
Warum das Praktikum für dich wichtig ist:In deinem Anschreiben solltest du unbedingt klar machen, warum dieses Werkstudentenangebot bei Thales für dich der nächste Schritt in deiner Karriere ist. Erkläre, was du dir von der Stelle erhoffst und wie du dein Wissen in der Automatisierungstechnik weiterentwickeln möchtest. Motivation zählt!
Flexibilität zeigen:Oft ist es bei Werkstudenten wichtig, flexibel zu sein, sei es hinsichtlich der Arbeitszeiten oder der Einsatzgebiete. Zeig in deiner Bewerbung, dass du bereit bist, dich auch mal in andere Themenbereiche einzuarbeiten. Das zeigt Initiative und Interesse an der gesamten Automatisierungstechnik!
Wie man sich auf ein Vorstellungsgespräch bei Thales vorbereitet
✨Technisches Know-how zeigen
In der Automatisierungstechnik wird ein tiefes Verständnis der Systeme und Technologien erwartet. Sei bereit, Fragen zu stellen wie: 'Wie funktioniert dieses System?' oder 'Welche Automatisierungstools haben Sie schon benutzt?' Wir sollten diese technischen Grundlagen durchgehen, damit du beim Interview glänzen kannst.
✨Praktische Beispiele parat haben
Für einen Werkstudenten in der Automatisierungstechnik ist es super wichtig, realitätsnahe Beispiele aus Projekten zu präsentieren. Hast du im Studium oder vorherige Erfahrungen mit bestimmten Automatisierungstechniken gemacht? Überlege dir, wie du das in einer realen Situation angewendet hast und teile diese Anekdoten.
✨Teamarbeit und Kommunikationsfähigkeiten betonen
In der Automatisierungstechnik arbeiten viele Fachleute in interdisziplinären Teams. Bereite dich darauf vor, Fragen zu deiner Teamarbeit zu beantworten. Zeige, wie wichtig kreative Lösungen und effektive Kommunikation für dich sind – vielleicht kannst du eine coole Zusammenarbeit im Studium erwähnen.
✨Vorbereitung auf den Einsatz von Software-Tools
Bereite dich darauf vor, spezifische Software wie MATLAB, PLC-Programmierung oder CAD-Tools zu diskutieren. Wenn du bereits Erfahrungen mit diesen Tools gesammelt hast, bring das zur Sprache. Wir können dir helfen, dich darauf vorzubereiten, deine Kenntnisse überzeugend darzustellen!
