2 Stellenangebote für formal proof in Deutschland heute aktualisiert
Stellenangebote gefunden
— Gestalte die Zukunft mit uns als Student*in für eine Masterarbeit für das formale Beweisen von Compiler-Optimierungen Stundenbasis | Befristet | Karlsruhe | ab sofort Rocq, Theorembeweiser, Compiler, Optimierungen, formale Verifikation Du hast Lust, in einem innovativen Forschungsumfeld zu arbeite
FZI Forschungszentrum Informatik— Gestalte die Zukunft mit uns als Student*in für eine Masterarbeit für das formale Beweisen von Compiler-Optimierungen Stundenbasis | Befristet | Karlsruhe | ab sofort Rocq, Theorembeweiser, Compiler, Optimierungen, formale Verifikation Du hast Lust, in einem innovativen Forschungsumfeld zu arbeite
27.000 € – 43.000 €pro Jahr
Schatzungsvertrauen: Niedrig
Schatzung basierend auf Marktdaten. Tatsachliche Gehalter konnen je nach Erfahrung, Unternehmen und Standort variieren.