Dein Profil: Du hast Begeisterung für Informatik. Egal ob Theoretiker oder Pragmatiker, du knobelst gerne. Einige der folgenden Dinge sind dir vertraut: GitHub, λ-Kalkül/Haskell, Typsysteme, Rust, BWINF/IOI/ICPC, Project Euler, Collatz-Problem, SKI (der Turing-vollständige
Sport).
Wir bieten:
-
Transparente Meilenstein-basierte Bezahlung, effektiv 20-50€/h je nach Erfahrung.
-
Einblicke, Austausch, Tipps über Uni, Karriere, Leben, Ausland, usw.
-
-
Als Freelancer hast du 100% Flexibilität, wann/wie/wo genau du arbeitest. Wir sitzen ohnehin in wilden Zeitzonen.
Über uns: Lambada LLC kombiniert Expertise aus Wissenschaft und Industrie. Unsere Leidenschaft ist die Symbiose zwischen Grundlagenforschung und konkreten Praxisanwendungen. Unser aktueller Fokus ist die produktive Nutzung von
tree calculus.
Mini-Wettbewerb (optional)
-
Aufgabe: Betrachte die Reduktionsregeln von tree calculus:
https://treecalcul.us/specification/. Finde einen möglichst kleinen Ausdruck, dessen Reduktion alle 5 Regeln mindestens einmal verwendet.
-
Beispiel: Der Ausdruck △ (△ △ △) (△ △) (△ △ △) verwendet 9 "△" Operatoren, hat daher Größe 9. Dies ist allerdings keine Lösung, da bei Reduktion nur Regeln 3c und 1 greifen.
-
Preis: Wer den kleinsten Ausdruck findet, erhält 100€. Die nächsten 4 Plätze erhalten 40€, 30€, 20€ und 10€. Bei Gleichstand zählt die Reihenfolge der Einsendungen.
-
Deadline: 13. April AoE.
Fluency in German is irrelevant for any of this, please don't hesitate to reach out.