12 Haskell-Jobs

Logo www.kowi.de
München
€ 4.188 | vor 7 T
vor 7 T
€ 4.188

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

www.kowi.de

1

Logo dresden-concept-jobs.de
Dresden
vor 2 T
vor 2 T

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

dresden-concept-jobs.de

2

Logo www.barkhauseninstitut.org
Dresden
€ 4.188 | vor 19 T
vor 19 T
€ 4.188

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)

www.barkhauseninstitut.org

3

Logo stellenportal-uni-frankfurt.de
Frankfurt
€ 3.200 | vor 2 M
vor 2 M
€ 3.200

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

stellenportal-uni-frankfurt.de

4

Logo www.m8mit.de
Halle (Saale)
vor 1 M
vor 1 M

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

www.m8mit.de

5

Logo stellenportal-uni-frankfurt.de
 
vor 2 M
vor 2 M

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

stellenportal-uni-frankfurt.de

6

Logo msu solutions
Emsdetten, Erfurt
vor 1+ J
vor 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

msu solutions

7

Logo discourse.nixos.org
 
vor 1+ J
vor 1+ J

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

discourse.nixos.org

8

Logo en.itsax.de
 
€ 4.188 | vor 2 T
vor 2 T
€ 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. Our goal is to build a flexible and trustworthy IoT platform based on reliable electronics and secure communication methods

en.itsax.de

9

Logo www.itsax.de
 
€ 4.188 | vor 3 T
vor 3 T
€ 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)

www.itsax.de

10