15 Haskell-Jobs
- 1Wolfsburgvor 3 Mvor 3 M
Praktikum Network Automation
Präsenz / Mobil - Vollzeit - Für die Abteilung Consulting. Die Wolfsburger Dienstleistungs- und Meldezentrale GmbH (WDZ) steht auf zwei wichtigen Säulen, der Personaldienstleistung für die Unternehmensgruppe Stadtwerke Wolfsburg und Consulting Partner für die Planung, Erstellung und Implementierung und Wartung von …
- 2Berlinvor 1 Mvor 1 M
Director of Engineering (Backend and Platform) (f/m/d)
Proven experience managing and scaling engineering teams, including leading team leads or engineering managers. Deep understanding of backend development principles and practices; experience with functional programming (e.g., Haskell, Scala) is a strong plus
- 3€ 4.188 | vor 1 Mvor 1 M€ 4.188
Research Associate “Programming Language/Compiler Technology” (m/f/d)
Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. The Composable Operating Systems group at Barkhausen Institut is developing Ohua, a compiler for breaking apart sequential imperative code into pieces for safety, security and efficiency
- 4€ 4.188 | vor 1 Mvor 1 M€ 4.188
Research Associate “Programming Language/Compiler Technology” (m/f/d)
Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. The Composable Operating Systems group at Barkhausen Institut is developing Ohua, a compiler for breaking apart sequential imperative code into pieces for safety, security and efficiency
- 5Emsdetten, Erfurtvor 1+ Jvor 1+ J
Softwareentwickler (m/w/d) - Anwendungsentwicklung, Ingenieur
Du hilfst uns dabei, Design, Konzeption, Programmierung und Umstellung eines der flexibelsten Microsoft Produkte auf Business Central 365 mit Apps, Cloud-Anwendungen und Webservices voranzutreiben - Die Konzepte zur Architektur und Geschäftsprozessen werden durch dich nicht einfach nur umgesetzt, sondern mitgestaltet
- 6Dresden€ 4.188 | vor 1+ Jvor 1+ J€ 4.188
Research Associate (PhD or Postdoc) “Programming Language/Compiler Technology” (m/f/d)
The Composable Operating Systems group at Barkhausen Institut is developing Ohua, a compiler for breaking apart sequential imperative code into pieces for safety, security and efficiency … Good programming skills in Haskell (OCaml) or Coq (Agda, Lean, Isabelle/HOL)
- 7vor 1+ Jvor 1+ J
Senior SRE position @ Serokell
August 16, 2021, 12:40pm 1 - We are searching for an experienced site reliability engineer, who can: Work with Nix and NixOS. Is willing to explore tech lead positions. Learn, work with and improve Haskell-related corner of the Nix universe
- 8Berlinvor 22 Tvor 22 T
Deployment Support Engineer (f/m/d)
Deploy and run our Backend services in customer environments on Kubernetes. Support our customers with operating our backend services on-premise (incl. air-gapped) and deploy on-prem-like staging environments on VMs/Bare-metal platforms for our internal QA processes
- 9€ 4.188 | vor 1 Mvor 1 M€ 4.188
Research Associate “Formal Verification” (m/f/d)
The Barkhausen Institut performs research on the latest hardware, software and communication technologies and demonstrates their application in tomorrow's society … Good programming skills in Coq (Agda, Lean, Isabelle/HOL) or Haskell (OCaml)
- 10€ 4.188 | vor 1 Mvor 1 M€ 4.188
Research Associate “Formal Verification” (m/f/d)
Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods. The Composable Operating Systems group at Barkhausen Institut is developing Compiler, Operating System and Hardware technologies for a trusted IoT world