in the field of public policy evaluation. The ideal candidate has a solid understanding of the main methodological approaches used in the quantitative analysis of public policies and programs and is motivated to conduct experimental or quasi-experimental...
cyber security operations team with focus on identification' analysis and response to cyber security threats and events. You will support the Head of our Cyber Security Operations Center in improving the effectiveness of the team and Leads the planning...
sortation and conveyor systems
• Experience of using data analysis tools and PLC-based control systems
• Experience with project management or Kaizen, Lean, Six Sigma processes
• Experience with Computerized Maintenance Management Systems (CMMS)
Amazon is...
sources. Ensuring energy resilience and security is a central goal, particularly in collaboration with industrial partners. The research encompasses numerous aspects, including hydrogen production, storage and final uses, all with the overarching aim of...
verification techniques
• First-order logic and SMT solvers
• Formal analysis of hybrid systems
• Runtime verification and diagnosis
• Formal safety assessment
Employment
Type of contract: fixed-term contract
Working hours : Full time (38 h per week...
contribute to and expand the institute's research in the field of public policy evaluation. The ideal candidate has a solid understanding of the main methodological approaches used in the quantitative analysis of public policies and programs and is motivated...
contributed to; Background knowledge and/or previous experience in the following areas: Software engineering Satisfiability and constraint solving Model Checking or other formal verification techniques First-order logic and SMT solvers Formal analysis of...
and security is a central goal, particularly in collaboration with industrial partners. The research encompasses numerous aspects, including hydrogen production, storage and final uses, all with the overarching aim of reducing the carbon footprint of energy...