"Künstlich und intelligent – wie KI funktioniert und was sie kann" – darum geht's am morgigen Wissenschaftsdienstag zum Start der aktuellen EFFEKTE-Reihe. Das KIT ist mit zwei Beiträgen zu #Datenschutz und dem #Textverständnis von #KI dabei. kit.edu/kit/veranstalt…

With the founding of the Robotics Institute Germany, scientists aim to use #robotics to drive #innovations in the chemical, pharmaceutical and automotive industries: go.tum.de/754626 #embodiedAI #intelligentrobots Angela Schoellig (hiring PhDs/postdocs/engineers) Robotics&AI@MIRMI 📷BMBF/H.-J.Rickel

Would you like to found your own research group? KiKIT is looking for outstanding postdocs in the early carrier phase in one of its research fields. Position comes with an additional funding for a doctoral researcher. Closing on June, 30th! kikit.kit.edu/174.php

Ehemalige des Software Campus berichten...am 25.06.2024 gibt Peter Marshall Einblicke in den Datenspeicher Apache Druid. Der Talk findet online statt. Mehr Infos unter softwarecampus-alumni.de/insights-on-ap…

KIT-Team Kindergarten Timelimit gewinnt erneut den German College Programming Contest und qualifiziert sich damit für den NWERC . Weitere Teams des KIT waren ebenfalls erfolgreich. informatik.kit.edu/11147_13845.php #programming #gcpc

🚀 Exciting opportunity at KIT Karlsruhe! We're seeking a professor of programming languages and program analysis to join our team at the Department of Informatics. #JobOpening #ProgrammingLanguages #ProgramAnalysis CS Faculty Jobs DL July 7th, see pse.kit.edu/english/karrie…

Die #KITInformatik ist nun auch auf LinkedIn präsent. Folgt uns, knüpft Kontakte mit Alumni unserer Fakultät und bleibt über die neuesten Entwicklungen und Forschungsergebnisse informiert. linkedin.com/school/kitinfo…

Our lab is excited to start at the Scientific Computing Center (Scientific Computing Center (SCC)), Department of Informatics KIT-Fakultät für Informatik at KIT Karlsruhe this August📚 We have open PhD & Postdoc positions in the intersection of Statistics & Machine Learning. Find out more below!

Für ihren Dissertation zur formal verifizierten Quantorenelimination bei Prof. André Platzer erhielt Katherine Kosaian den Bill McCune PhD Award 2024. Congratulations 💐

Zum 01. August tritt Professorin Nadja Klein KleinLab ihre Professur "Methods for Big Data" an der KIT-Fakultät für Informatik an. Wir wünschen ihr einen guten Start bei uns am @kitkarlsruhe! #Kitinformatik #BigData #Herzlichwillkommen Link zum Lab: kleinlab-statml.github.io

Forschende am KIT entwickeln intelligentes System zur #Spracherkennung und #Übersetzung "Lecture Translator" weiter: automatische Textsegmentierung, Zusammenfassung und intelligente Abfrage möglich. kit.edu/kit/pi_2024_06…

KleinLab is now part of Scientific Computing Center (SCC)! Our group, "Methods for Big Data," develops novel statistical and mathematical approaches at the intersection of Bayesian statistics and machine learning. Find out more here: scc.kit.edu/en/aboutus/177…

Um die #Mikrochip-Produktion in Europa voranzutreiben und Deutschland als Innovationsstandort für #Chipdesign weiter zu stärken, soll am KIT das virtuelle Karlsruher Chipdesign House (KCH) aufgebaut werden. Geplant ist zudem ein neuer Master-Studiengang. kit.edu/kit/pi_2024_06…

Neue Chancen in der #Gesundheitsforschung durch digitalen Wandel: Der baden-württembergische Gesundheitsminister Manne Lucha und der Karlsruher Oberbürgermeister Dr. Frank Mentrup besuchten das KIT-Zentrum HealthTech. kit.edu/kit/202408-med…

Bald ist September und das bedeutet: Die Award-Season der Informatik beginnt! 😎 Zusammen mit OCG und Swiss Informatics Society SI verleihen wir auf der #INFORMATIK24 den Dissertationspreis an zwei Forschende von der ETH Zürich und vom KIT Karlsruhe. Alle Infos: gi.de/meldung/erklae…

Dominik Schreiber hat für seine Diss „Scalable SATSolving and its Application“ den Fahiem-Bacchus Award 🏆 erhalten. Die Arbeit behandelt parallele und verteilte Lösungsansätze für das Problem der aussagenlogischen #Erfüllbarkeit (engl. satisfiability, kurz #SAT). Congrats 🍾

🚨 We have two open positions KIT-Fakultät für Informatik KIT Karlsruhe KASTEL for fully-funded Ph.D. positions at the intersection of AI and Security (Deadline: September 30th 2024). Come work with us 🙃 intellisec.de/jobs

Jan S. Hesthaven ab 1. Oktober neuer Präsident des KIT: Noch engere Verzahnung von #Forschung und #Lehre sowie starke nationale und internationale Partnerschaften sind wichtige Ziele. kit.edu/kit/pi_2024_07…

Herzliche Glückwünsche an alle vier Fellows auch von der KIT-Fakultät für Informatik , wo Frank Puppe und Stefan Jähnichen in den 80ern und 90ern ebenfalls Spuren hinterlassen haben.

Am 25.09. hat Dominik Schreiber den GI-Dissertationspreis überreicht bekommen. Wir haben mit ihm über seine Doktorarbeit, seine Forschung am KIT und seine Zukunftspläne gesprochen. Das ganze Interview gibt's auf unserem Youtube-Kanal: youtu.be/lv96SUlNH7Y