Bei uns findest DU deinen Traumjob

Wir suchen motivierte Geeketten, Geeks, Nerds und solche, die es werden wollen, oder einfach motivierte und neugierige angehende Informatiker/-innen (m/w/d)

„Wir“, 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!

Informatikstudent/-in, Fachinformatiker/-in oder ADVler/-in als...

Werkstudent/-in oder Praktikant/-in (m/w/d)

spannende Einblicke

Vergütung

12€/Stunde

Ort: Böblingen

Was du bei uns machen kannst:

  • experimentiere mit neuen Ideen und Algorithmen neuen Ideen und Algorithmen
  • (weiter-) entwickle unsere internen Tools
  • führe Tests und Benchmarks durch
  • mit Java, JavaScript, Python, Shell-Scripten, unter Linux & Windows

Was brauchst du dafür?

  • Du studierst Informatik oder Ähnliches, bist in der Ausbildung zum Fach-Informatiker/-in (m/w/d) für Anwendungs-Entwicklung oder an der Akademie für Daten-Verarbeitung (ADV)
  • Computer und Coden sind dein Hobby
  • Du willst dein Wissen sinnvoll einsetzen und Neues lernen.

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…

Du hast Interesse?

dann bewirb dich jetzt!

→ Zum Kontakt

Unsicher?

Dann schau dir deine Vorteile bei uns an unter "Arbeiten bei uns"

 
Informatikstudent/-in Masterthesis

Masterarbeit angewandte theoretische Informatik

Theorie und Praxis

Vergütung

900€/Monat (*)

Böblingen, gut erreichbar

Thema der Masterarbeit:

Generierung von Objektstrukturen aufgrund logischer Aussagen darüber

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…

Du hast Interesse?

dann bewirb dich jetzt!

→ Zum Kontakt

Unsicher?

Dann schau dir deine Vorteile bei uns an unter "Arbeiten bei uns"

(*) Bitte beachte, dass eine Bezahlung der Masterarbeit nur möglich ist, wenn die Prüfungs-Ordnung deiner Universität das erlaubt!