Abschlussarbeit/Thesis (BA/MA): Untersuchung von sprachtheoretischen Ansätzen zur Softwareverifikation
Die Entwicklung von Algorithmen für Fahrerassistenzsysteme beinhaltet eine Vielzahl mathematischer Berechnungen aus dem Bereich Systemtheorie und Bayessches Schätzen. Fahrerassistenzsysteme sind gleichzeitig sicherheitskritische Systeme, daher müssen ihre Implementierungen besonderen Anforderungen genügen. In der Arbeit soll untersucht werden, in wie fern durch sprachtheoretische Ansätze wie Design by Contract oder funktionaler Programmierung die Korrektheit einer Funktion nachgewiesen werden kann. Dabei sollen auch bestehende Ansätze zur Softwareverifikation auf Leistungsfähigkeit untersucht werden.
Im Rahmen dieser Abschlussarbeit sind folgende Aufgaben zu lösen:
- Erstellen eines Machbarkeitsnachweises zur Portierung des bestehenden SDK auf eine funktionale Sprache
- Erarbeiten einer Übersicht über vorhandene Ansätze zur Softwareverifikation und Evaluierung der Anwendbarkeit auf das BASELABS Create SDK
Anforderungen an den Bewerber (m/w):
- Programmierkenntnisse in objektorientierten Sprachen
- Interesse an Problemstellungen aus der theoretischen Informatik
- Systematischer, selbstständiger und qualitätsorientierter Arbeitsstil
- Idealerweise Erfahrungen in funktionaler Programmierung (F#, OCaml, Haskell) und Softwareverifikation
Bitte kontaktieren Sie uns bei Interesse per Email: jobs@baselabs.de.
Kurzinfo zum Unternehmen:
Die BASELABS GmbH ist ein Anbieter von innovativer Entwicklungssoftware für die Erstellung von modernen Fahrerassistenzsystemen. Diese Systeme sind ein wichtiger Innovationstreiber in der Kraftfahrzeugindustrie.
Das besondere Know-how des Unternehmens liegt in den statistischen Signalverarbeitungsalgorithmen für die Umfelderkennung und Sensordatenfusion. Mit der Software und den begleitenden Dienstleistungen steigert BASELABS die Effizienz der Entwicklungsprojekte der Kunden in der Kraftfahrzeugindustrie und verbessert die Leistung der Fahrerassistenzsysteme.
Wir arbeiten mit modernen .NET Technologien und SCRUM als agiler Softwareentwicklungsmethodik.
BASELABS ist ein mehrfach ausgezeichnetes dynamisches Start-up und hat seinen Sitz in Chemnitz.
Statement:
Das BASELABS Team vereinen vor allem drei Dinge: wir haben Spaß an der Arbeit im Team, wir wollen unseren Kunden die beste Entwicklungssoftware im Bereich Fahrerassistenz anbieten, und wir wollen gemeinsam unser Unternehmen voran bringen. Unser Team besteht aus Ingenieuren, Informatikern und Kaufleuten. Diese Interdisziplinarität ist das Schmiermittel für unseren Innovationsgrad.
Unserem Mitarbeitern stehen verschiedene Wege der persönlichen Weiterentwicklung offen. Sie können sich als Experte für unsere proprietären Softwareprodukte profilieren, aber sich auch in Richtung Kundenprojekte und Beratung weiter entwickeln. Sprechen Sie mit uns über Ihre Möglichkeiten bei BASELABS.
Hinter BASELABS steht mit dem Technologiegründerfonds Sachsen ein finanzstarker Partner, der die Entwicklung unseres Unternehmens begleitet. BASELABS wurde bei regionalen und bundesweiten Businessplanwettbewerben ausgezeichnet und wird durch das Bundesministerium für Wirtschaft und Technologie gefördert.
Schlagworte: C#,.NET,.Net,C,C++,Automotive,Abschlussarbeit,Visual Studio,Applikationsentwicklung,application design,Chemnitz,Programmierer Stelelnanzeige
Quelle: http://www.ITsax.de