Introspectum

Karriere

Introspectum ist ein kleines Team. Es gibt zwei Wege, dazuzustoßen.

Founding Engineer

Formale Methoden und Codegenerierung.

Bewerben Sie sich schon jetzt: Wir lesen jede Bewerbung selbst und sprechen sofort mit starken Kandidatinnen und Kandidaten. Wenn die Stelle startet, beginnen wir mit den Menschen, die wir schon kennen.

Ihre Aufgaben

  • Formale Verifikation von Rust-Code mit Prusti und Verus
  • Die Laufzeitumgebung für KI-Agenten, die Code aus Spezifikationen erzeugen
  • Code-Property-Graphen aus bestehendem Code
  • Anbindungen an GitHub und an SARIF-Werkzeuge

Was Sie mitbringen

  • Ein Informatikstudium mit Schwerpunkt Systemprogrammierung
  • Interesse an Compilerbau und formalen Methoden; Erfahrung hilft, ist aber keine Voraussetzung
  • Fließendes Englisch

Senden Sie Ihren Lebenslauf oder Ihr LinkedIn-Profil und Links zu Ihren Arbeiten an <link>fabian.klopfer@introspectum.eu</link>.

Per E-Mail bewerben

Praktika

Für Studierende, die an einem echten Produkt arbeiten wollen.

Themen

  • Formale Verifikation und Compiler
  • KI-Agenten
  • ERP & CRM auf Basis von Twenty
  • Reinforcement Learning für die Forschung zum Börsenhandel

Senden Sie Ihren Lebenslauf, Ihr Wunschthema und die Monate, in denen Sie Zeit haben, an <link>fabian.klopfer@introspectum.eu</link>.

Per E-Mail bewerben