From Gradware to Utilization
A new KiKIT initiative to promote innovation and transfer. Application possible from young scientists.
mehr
Lead for Young Investigator Research Group
KiKIT, the Helmholtz Pilot Program Core-Informatics at KIT, is looking for highly qualified young researchers who want to start their own Young Investigator Research Group (YIG) within the research areas of the pilot program.
The complete offer
FoMSESS Annual Meeting 2024
The 20th Annual Meeting of the Special Interrest Group Formal Methods for Software Engineering, Safety, and Security takes place in Karlsruhe this year.
Use the link to find out how to participate.
To the Event
Kick-Off
Sommer 2023. The Pilot Program received the funding commitment from the Helmholtz Association, and starts with the bootstrapping.