Beschreibung
Softwareengineer SW-/HW-Verifikation (m/w) - Böblingen - 42640/FMZur 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 Static Code 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, C++, PI8, PL/x, Java
Wünschenswert:
Vorzugsweise Erfahrung im Bereich Static Code 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: Contract
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/FM
Ihre(e) Ansprechpartner(in):
Herr Felix Preukschat
Ü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-Projektebesetzt. 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.