19 proof-checking-postdoc-computer-science-logic PhD scholarships 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
-
of application. Proof of English proficiency About the department The PhD student will join CAES, a group working on the most efficient and effective computer architectures of the future, from large-scale data
-
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
-
, complex networks, statistics, systems theory, computational science, and artificial intelligence with applications in health care, energy systems, traffic, and imaging. Please click the following links
-
, Mathematics and Computer Science (EEMCS). We work on next-generation power electronics, energy systems for smart grids, advanced battery electronics and management, power devices, power and energy measurements
-
almost every product we use, mathematics, electronics and computer technology contribute to all of society's activities. The faculty works together intensively with industrial and medical partners
-
and Social Sciences. We emphasize personal and professional development and encourage social activities. Contribute to future-proofing the healthcare system while maintaining accessibility and quality
-
. About the organisation The Faculty of Engineering Technology (ET) engages in education and research of Mechanical Engineering, Civil Engineering and Industrial Design Engineering. We enable society and