- 
                
                
                calculations with kinetic modeling, our team bridges length and time scales, addressing complex challenges in energy research. About the research project Energy-efficient catalytic synthesis of hydrogen carriers 
- 
                
                
                for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required 
- 
                
                
                failures. We offer access to unique experimental data and computational tools developed by our research team for addressing a timely societally relevant problem. Project overview The aim is to unravel 
- 
                
                
                changing environment will affect the stability of quick clays, and the probability of triggering catastrophic failures. We offer access to unique experimental facilities and computational tools developed by