-
zonotopes in digital circuits and the model checking of discrete-space systems, with the goal of developing methodologies and tools that make verification scalable and reliable. Your research will focus
-
and learning; develop and validate measures and models of peer interaction and relationship formation; and use these insights to design AI-assisted tools for group formation, interaction support
-
physics, multiscale modeling, and uncertainty quantification. The Multiscale Modeling of Fluid Materials group at the Technical University of Munich is looking for talented and ambitious scientists
-
of the Collaborative Research Center Transregio 277 Additive Manufacturing in Construction (AMC) in the new project B06: Material Modelling and Simulation of Deposition AM Processes on the Part Scale
-
, Metric Learning, Reinforcement Learning, Graph Representation Learning, Generative Models, Domain Adaptation, etc.) for Design Automation applications. To this end, we focus on developing general methods
-
consumption, and costs Tool and model integration To learn more about our previous work, please check out our website (www.cda.cit.tum.de/research/etcs/ ) and open-source implementations referred therein. Your