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 fabian.klopfer@introspectum.eu.
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 fabian.klopfer@introspectum.eu.