Softwareengineer SW-/HW-Verifikation (m/w) - Böblingen - 42640/JB

Softwareengineer SW-/HW Verifikation (m/w) - Böblingen - 42640/JB Zur Unterstützung unseres Kunden, ein weltweit agierendes Unternehmen aus dem Bereich IT Infrastruktur und IT Services und einer der Big Player der Branche, suchen wir aktuell einen Spezialisten (m/w) im Umfeld der Verifikation von Software und Hardware (SW HW-Coverifikation) am Standort Böblingen. Ihre Aufgaben: Sie sind zuständig für die Nutzbarmachung eines bestehenden Analysetools für die Verwendung mit weiteren Betriebssystemen und für zusätzliche Programmiersprachen Erweiterung durch Verwendung der Staticode Analyse Anwendung Ihrer Kenntnisse in den Bereichen Software- und Hardware Architektur sowie in der formalen Verifikation von abstrakten Softwarealgorithmen auf gegebener Hardware Ihre Qualifikation: Abgeschlossenes Studium der Informatik, Elektrotechnik, Mathemathik oder Physik Fundierte Erfahrung im Bereich der funktionalen und formalen Verifikation mit dokumentierten Projekten Erfahrung in der Toolentwicklung zur Verifikation von Software und Hardware Gutes Verständnis über die Funktionsweise von gängigen Betriebssystemen und Compilern (AIX, Linux, zOS) Kenntnisse in folgenden Programmiersprachen: C++, PI8, PL/x, Java Wünschenswert: Vorzugsweise Erfahrung im Bereich Staticode Analysis Vorzugsweise Erfahrung im Bereich Equivalence Checking von komplexen Computersystemen Ihre Vorteile in einer Festanstellung bei BJC: Individuell verhandelbares und attraktives Gehaltspaket gepaart mit Sonderzahlungen nach BAP Tarif (Übertarifliche Zulagen, Urlaubs- und Weihnachtsgeld, vermögenswirksame Leistungen) Bis zu 30 Urlaubstage (je nach Betriebszugehörigkeit) Spaß an der Arbeit durch abwechslungsreiche, anspruchsvolle und interessante Aufgaben Chance auf Vermittlung in ein Beschäftigungsverhältnis bei unseren Kunden und persönliche Weiterentwicklung innerhalb der Kundensituationen Individuelle Beratung und verlässliche Betreuung durch Ihren persönlichen Berater Start: Ab sofort/ nach Absprache Dauer: 31.12.2018 + Option Einsatzort: Böblingen Vertragsart: Freiberuflich Haben Sie Fragen? Rufen Sie uns gerne an! Auch wenn Sie nicht alle Anforderungen erfüllen lohnt sich eine Bewerbung. Sprechen Sie uns an, ggf. können fehlende Qualifikationen vorab geschult oder im Einsatz erarbeitet werden. Wir freuen uns auf Ihre Bewerbung. Da wir für die unterschiedlichsten Einsatzmöglichkeiten bei unseren bundesweiten Kunden ständig auf der Suche nach IT Spezialisten/innen in Festanstellung, zur Personalvermittlung oder als Freelancer/Freiberufler für Projekte sind, freuen wir uns auch über die Empfehlung eines(r) Kollegen(in), sollten Sie aktuell nicht verfügbar sein, oder die Aufgabe nicht Ihrem Profil entsprechen. Bitte senden Sie uns Ihre aussagekräftigen Unterlagen, mit aktuellem Lebenslauf bzw. Projektübersicht, Verfügbarkeit und Stundensatz- bzw. Gehaltsvorstellung, unter Angabe der Job ID (bitte im 'Betreff' angeben): 42640/JB Ihr(e) Ansprechpartner(in): Herr Felix Preukschat its.de Über BJC BEST JOB IT SERVICES GMBH: Seit 1999 ist BJC BEST JOB IT SERVICES GmbH in zahlreichen Kundensituationen und IT Projekten als Recruitingunternehmen und Dienstleister tätig und hat seitdem mehrere tausend IT Projekte besetzt. Neben der Projektbesetzung mit eigenen Mitarbeitern und rechtlich selbständigen Leistungserbringern, vermitteln wir Personal auch direkt oder über vorangegangene Arbeitnehmerüberlassung. Bei unseren Kunden, IT Systemhäuser und IT Fachabteilungen erfolgreicher Unternehmen im gesamten Bundesgebiet, bieten wir in Festanstellung und für Freiberufler oder selbständige IT Spezialisten spannende Projekte, gute Rahmenbedingungen und interessante Entwicklungsperspektiven.