26 proof-checking-postdoc-computer-science-logic PhD positions at University of Twente in Netherlands
Sort by
Refine Your Search
-
Vacancies PhD Position in Computational Biology: Digital Twins & Disease Modeling for Precision Osteoarthritis Treatments Key takeaways Osteoarthritis (OA) is a complex disease in which multiple
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
Vacancies PHD POSITION ON MULTILAYER GROWTH OPTIMIZATION BY HYBRID X-RAY METROLOGY (MOXY Key takeaways Nanometer-thin films are enabling factors in many advanced technology fields such as
-
of application. Proof of English proficiency Screening is part of the selection procedure. About the department The PhD student will join CAES, a group working on the most efficient and effective computer
-
address issues like data privacy and ownership, distribution of responsibilities and accountability, and technology access on organisational, project and district level, and explore how digital technologies
-
research independently and grow scientifically through collaboration and supervision by researchers from Saxion and Hanze Universities of Applied Science, supervisors from the Construction Management
-
of Applied Science, supervisors from the Construction Management Engineering cluster at the University of Twente, and a strong network of industry partners in the Dutch construction sector. Information and application
-
other societal aims. The position is part of the NWO-funded ‘Thirsty Cities: Action-perspectives for a climate-proof, drought-resilient, and water-sensitive built environment’ project. A transdisciplinary
-
technology integrated with a cloud-based platform for real-time data analysis and remote expert consultation. The goal is to create an explainable AI-assisted monitoring system that improves decision-making in
-
-MWM) develops and applies holistic approaches which promote sustainable and resilient management of water systems. About the organisation The Faculty of Geo-Information Science and Earth Observation