Symflower sucht Algorithmen-entwickler/innen

Location: Linz, Austria, EU

lightbulb sparkleslightbulb no sparkles

Du hast Spaß am tüfteln?

Wenn du Spaß am lösen kniffliger Probleme hast und etwas bewegen willst, dann haben wir genau den richtigen Job für dich.

Bei uns arbeitest du in einem jungen innovativen Team, das sich mit der vollständigen Automatisierung der Qualitätssicherung von Software beschäftigt. Wir testen Software ohne Menschen. Das heißt, wir bringen Maschinen bei, wie man Programmcode liest und versteht. Und wie man in diesen Programmen Fehler wie z.B. Programmabstürze und Sicherheitslücken findet. Klingt nach einer Herausforderung? Genau deshalb suchen wir schlaue Füchse wie dich!

Zur Verstärkung unseres Teams suchen wir Software Engineers für die Weiterentwicklung unserer Analysepipeline und Testgenerierung.

company/aboutUs/flowchart.svg

Deine Aufgaben umfassen:

  • das Erstellen von Parsern und Transpilern zum Bearbeiten von Source Code von statisch und dynamisch typisierten Programmiersprachen,
  • Code-Generierung von ausführbaren Unit-Tests,
  • Planung und Implementierung von Analysen und Optimierungen
  • sowie die Generierung von Testwerten auf Basis von Symbolic Execution und anderen Analysetechniken.

Mit unserer Testgenerierung hast du folgende Themenschwerpunkte:

  • Software Verifikation
  • Formale Modelle
  • Symbolic Execution
  • Statische und dynamische Source Code Analysen
  • SAT (Boolean satisfiability problem)
  • SMT (Satisfiability modulo theories)
  • Model-based Testing

Wenn Programmieren, Logik und formale Methoden ein Leichtes für dich sind, dann bist du bei uns genau richtig.

Wir verwenden

  • Go (leicht zu erlernen) für das Backend,
  • TypeScript und Angular für das Frontend,
  • Docker als Container-Technologie
  • und Kubernetes zum Verwalten unserer Container und Cluster.

Wir bieten

  • einen sicheren Arbeitsplatz in einem gut finanzierten Unternehmen,
  • interessante vielseitige Aufgaben,
  • herausfordernde Verantwortung,
  • echte Startup-Atmosphäre,
  • tolle Events,
  • ein junges und motiviertes Team,
  • eine hohe Lernkurve
  • und top Hardware.

Wir freuen uns auf deine aussagekräftige Bewerbung mit Lebenslauf an you@symflower.com .

Für eine Vollzeitanstellung (38,5h/Woche) bieten wir ein Einstiegs-Jahresbruttogehalt ab EUR 39.200 (Universitäts-/FH-Abschluss) bzw. EUR 35.140 (HTL-Abschluss) (bei einschlägiger Qualifikation und Erfahrung entsprechend mehr).

Wir freuen uns schon dich in unseren Räumlichkeiten begrüßen zu dürfen!