Ohrner IT GmbH

Du bist Master-Studentin oder -Student (m/w/d) in Informatik oder Mathematik und suchst eine Abschlussarbeit mit praktischen, aber auch deutlichen theoretischen Anteilen? Bei uns kannst du beides verbinden!
„Bei uns“, das ist das internationale Team der Ohrner IT GmbH mit knapp 10 Mitarbeiterinnen und Mitarbeitern. Wir entwickeln individuelle Software für Firmenkunden. Dabei kannst du mithelfen!

Masterarbeit angewandte theoretische Informatik:
Generierung von Objektstrukturen aufgrund logischer Aussagen darüber

Theorie und Praxis
Kaffee und Club Mate included
gut erreichbar von Stuttgart-Vaihingen
Vergütung 900 €/Monat(*)

Die Herausforderung:

Wir haben eine Herausforderung für Informatik- oder Mathematik-Master-Studenten:

  • Gegeben sind ca. 2000 formale logische Aussagen über eine Objektstruktur. Eine als Eingabe verwendete Objektstruktur ist 'korrekt', wenn alle logischen Aussagen darauf 'wahr' sind.
  • Ziel der Arbeit ist es, Wege zu finden, umgekehrt mithilfe der gegebenen logischen Aussagen eine Objektstruktur zu generieren / synthetisieren, welche alle logischen Aussagen erfüllt, d.h. 'korrekt' ist.
  • Es ist vermutlich beweisbar, dass dies nicht perfekt möglich ist. Aber die Frage ist: Wie gut geht es trotzdem? Wie dicht kommt man an die optimale Lösung heran? Welche Methoden oder Strategien wurden bereits entwickelt oder kann man entwickeln, um sich dem theoretischen Ideal bestmöglich anzunähern?

Was brauchst du dafür?

  • Du studierst Informatik oder Ähnliches und suchst eine Abschluss-/Masterarbeit.
  • Theoretische Informatik und mathematische Logik sind für dich nicht nur Theorie. ;)
  • Du kannst deine Ergebnisse auch auf die Straße, bzw. in den Rechner bringen - mit anderen Worten, du hast aber auch schon an Code die Hände schmutzig gemacht und kennst Programmiersprachen nicht nur aus dem Erstsemesterkurs.

Bei uns gibt es:

  • 4,77 Sterne bei Kununu
  • coole Kolleginnen und Kollegen im Team
  • kurze Wege & ein unbürokratisches Miteinander
  • flexible Arbeits– und Urlaubszeiten
  • kostenlose Getränke inkl. Kaffee und Club Mate
  • und noch mehr…