Funktionale Programmierung, Tübingen
Bewertungen
Teilen Sie Ihre Erfahrung!
Beschreibung
Tätigkeitsfelder
Die Active Group GmbH befasst sich mit den Themen Programmiersprachen, Softwarearchitektur und formalen Methoden. Ein wesentlicher Fokus liegt auf der funktionalen Programmierung sowie der Datenmodellierung und -strukturen
Leistungen & Services
Das Unternehmen bietet verschiedene Schulungen und Veranstaltungen im Bereich der Softwareentwicklung an Das Angebot umfasst unter anderem:
- Softwarearchitektur-Schulungen, wie beispielsweise Grundlagen der Softwarearchitektur auf iSAQB Foundation Level, die anhand von realen Fallbeispielen vermittelt werden
- Schulungen zu fortgeschrittenen Themen wie funktionale Softwarearchitektur, domänenspezifische Sprachen und formale Methoden
- Die Durchführung der BOB (Hauskonferenz der Active Group), einer Entwicklerkonferenz
Schwerpunkte & Besonderheiten
Die inhaltlichen Schwerpunkte liegen in der Anwendung von Konzepten wie algebraischen Datentypen (Summen- und Produkttypen), persistenten Strukturen und formalen Spezifikationen. Ein weiterer Schwerpunkt ist das Denotational Design sowie die Arbeit mit Domain Specific Languages (DSLs) und Embedded DSLs Im Bereich der Verifikation von Algorithmen werden Werkzeuge wie Z3, VeriFast, Forge und Liquid Haskell thematisiert
Über uns / Über mich
Die Active Group GmbH betreibt einen Blog zu Themen der funktionalen Programmierung. Ein zentraler Bestandteil der Unternehmensaktivität ist die Organisation der BOB, einer Entwicklerkonferenz, die im Jahr 2026 zum dreizehnten Mal im Scandic-Hotel Potsdamer Platz stattfindet
Methoden, Arbeitsweise & Technologien
Die Arbeit orientiert sich an funktionalen Programmierkonzepten und technologischen Schwerpunkten. Zu den behandelten Programmiersprachen und Technologien gehören:
- Clojure (einschließlich Clojure-Makros)
- Haskell
- Racket (einschließlich #lang-Varianten)
- Scala
- Elixir
- Nix
- OCaml
- TypeScript
- Kotlin (insbesondere Monaden)
Zudem werden Konzepte wie Kontrollabstraktionen, Monaden für kontrollierbare Effekte in der funktionalen Programmierung sowie die Verifikation von Algorithmen mit Z3 behandelt
Preise / Kostenstruktur
Für die Anmeldung zur BOB 2026 wird ein Early-Bird-Rabatt angeboten, der bis zum 16. Januar 2026 gültig ist
- Softwareentwicklung
Fotos
Produkte und Dienstleistungen von Cylex
Cylex Einträge Bulk-Upload
Wollen Sie mehrere Unternehmensprofile schnell online stellen? Mit dem Massen-Upload von Cylex können Sie Einträge mit nur wenigen Klicks veröffentlichen – ideal für Verzeichnisse, Agenturen und Unternehmen mit mehreren Standorten. Sparen Sie Zeit und steigern Sie Ihre Sichtbarkeit effizient – für nur 1,00 € pro Eintrag pro Jahr (zzgl. MwSt.).
Registrieren Sie Ihre Firma noch heute auf Cylex!
Erhöhen Sie Ihre Sichtbarkeit und erreichen Sie potenzielle Kunden, indem Sie Ihr Unternehmen auf Cylex registrieren. Es geht schnell, einfach und ist kostenlos! Wenn Sie Ihr Unternehmen eintragen, können Sie Ihre Dienstleistungen präsentieren, Ihre Online-Präsenz verwalten und sogar mehrere Standorte hinzufügen, um Kunden in verschiedenen Regionen anzusprechen. Verpassen Sie nicht die Gelegenheit, sich von der Masse abzuheben - registrieren Sie sich jetzt und werden Sie von mehr Leuten, die nach Ihrem Unternehmen suchen, wahrgenommen!
Social Media