12 Haskell-Jobs
11-06-25 Wissenschaftliche Begleitung für die BNE VISION 2030 in München (m/w/d)
•Entwicklung eines Forschungsdesigns für die Wissenschaftliche - Begleitung des Handlungsprogramms BNE VISION 2030 der - Landeshauptstadt München (LHM) in Abstimmung mit zentralen - Akteuren - •Durchführung der wissenschaftlichen Begleitung als Evaluation
1
Research Associate (PhD or Postdoc) “Formal Verification” (m/f/d)
Above-average MSc/Diploma and PhD degree in areas related to our research focus (Computer Science) from renowned universities. Good programming skills in Coq (Agda, Lean, Isabelle/HOL) or Haskell (OCaml). Knowledge in the following domains
2
Research Associate (PhD or Postdoc) “Formal Verification” (m/f/d)
The Composable Operating Systems group at Barkhausen Institut is developing Compiler, Operating System and Hardware technologies for a trusted IoT world … Good programming skills in Coq (Agda, Lean, Isabelle/HOL) or Haskell (OCaml)
3
Working Student Software Engineering (m/w/d)
Informatik ist unsere Passion. Innovative Geschäftssysteme unsere Mission. In agilen Engineering-Projekten realisieren wir maßgeschneiderte Softwaresysteme für das digitale Business von morgen. Mit innovativer Software-Renovierung erhalten wir den Wert vorhandener Software-Assets und stellen Zukunftsfähigkeit sicher
4
Werkstudent: Softwareentwickler (m/w/d)
Studium im Bereich Informatik, Wirtschaftsinformatik oder vergleichbaren Studiengang - Kenntnisse mit React und React Native wünschenswert - Kenntnisse mit Java und/oder C# wünschenswert - Kenntnisse mit HTML und CSS wünschenswert … F#, Haskell) von Vorteil
5
Software Engineer (m/w/d)
Software Engineer - Informatik ist unsere Passion. Innovative Geschäftssysteme unsere Mission. Über 150 hochqualifizierte Informatiker und Informatikerinnen - an 14 Standorten in 4 Ländern - die mit modernen Werkzeugen und innovativen Methoden arbeiten, machen uns zu einem erfolgreichen Team
6
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
7
Senior SRE position @ Serokell
Jobs - jonn 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
8
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. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods
9
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