Werkstudent im Bereich Innovation&Technology (m/w)

Wir, die BTC Embedded Systems AG, Gerhard-Stalling-Straße 19, 26135 Oldenburg, sind ein international tätiges Unternehmen und bieten Produkte und Services für die Formale Verifikation, Validation und das Automatisierte Testen von Eingebetteten Systemen.

Derzeit suchen wir

Werkstudenten im Bereich Innovation&Technology (m/w)

mit Hintergrund in Informatik oder Mathematik in der Abteilung Innovation & Technology.

Die Abteilung Innovation & Technology (I&T) befasst sich mit anspruchsvollen Themenkomplexen, die sich eng an die zukünftigen Herausforderungen unserer Kunden anlehnen, wobei stets der praktische und produktive Einsatz entstehender Vor- und Neuentwicklungen im Vordergrund steht. Das Hauptaugenmerk von I&T liegt vor allem in den Bereichen der Formalen Spezifikation und der Formalen Verifikation sowie in all ihren Anwendungsgebieten wie z.B. Abdeckungskriterien und Konsistenznachweisen für formale Anforderungen, automatische Testfallgenerierung aus formalen Anforderungen, formales Testen in einer Real-Time Hardwareumgebung, Model Checking Technologien für Floating-Point Production Code.

Um diesen Herausforderungen gerecht zu werden, genießt I&T einen großen aber fokussierten Forschungsfreiraum, pflegt einen engen Kontakt zu allen anderen Abteilungen der Firma und gegebenenfalls auch direkt zu Kunden und bewegt sich in einem starken akademischen Netzwerk mit nationalen und internationalen Institutionen wie dem OFFIS oder den Universitäten Oldenburg, Freiburg und Oxford.

Wenn Sie eine oder mehrere der unten beschriebenen Fähigkeiten mitbringen, dann melden Sie sich gerne bei uns:

Gute deutsche Sprachkenntnisse in Wort und Schrift sind Grundvoraussetzung. Gute englische Sprachkenntnisse sind wünschenswert.

Bezüglich der Arbeitszeiten sind wir sehr flexibel, erstrebenswert ist aber eine grundsätzliche Bereitschaft zwischen 15 bis 20 Stunden pro Woche für uns zu arbeiten. Natürlich zu einer ansprechenden finanziellen Entlohnung! 

Durch die Nähe zu forschungsrelevanten Themen entwickeln und betreuen wir auch gerne gemeinsame Abschlussarbeiten im Fachbereich Informatik (Bachelor, Master, Diplom), die gemeinsam mit der Universität Oldenburg oder anderen akademischen Institutionen durchgeführt werden können.

Falls wir Ihr Interesse geweckt haben, würden wir Sie gerne zu einem persönlichen Gespräch einladen und kennenlernen! Bitte senden Sie uns hierfür eine kurze E-Mail mit Ihren Kontaktdaten, aktuellem Studiengang, Semester und Ihren Programmier-Kenntnissen an

bewerbung@btc-es.de

Bei Rückfragen können Sie sich auch gerne telefonisch an Herrn Dr. Tino Teige (0441 / 969738 - 59) wenden.