4 proof-checking-postdoc-computerscience PhD scholarships at University of Twente in Netherlands
-
the world, delivering competitive and successful high-quality research. The institute employs 500 people of which 275 are PhD’s or PostDocs. With its unique NanoLab facilities the institute holds 1250 m2
-
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
-
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
-
an interview. If it turns out to be a match from both sides, we will hire the candidate either at the UT or the LUMC (you can indicate your preference). We will close the vacancy as soon as these two positions