•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
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
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
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
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 - 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
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
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
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
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