60 software-formal-method-phd PhD positions at University of Groningen in Netherlands
Sort by
Refine Your Search
-
supervision of Dr Rodrigo Otoni. Where to apply Website https://www.academictransfer.com/en/jobs/355088/phd-in-formal-verification-of-d… Requirements Specific Requirements The successful candidate should
-
difficult. This PhD research is envisioned to broadly follow one of three directions, but can be adapted to suit the interests of an excellent applicant. The use of formal languages to specify and reason
-
mathematical methods, algorithms, and applications are required. Simulators are a recognized method for architectural design explorations and the implementation of software development platforms. The goal
-
architectural design explorations and the implementation of software development platforms. The goal of this PhD is to create a modular and extensible simulation infrastructure that facilitates design
-
on cooperation and governance within such networks. In this PhD-project a variety of empirical methods, such as Delphi studies, case studies and possible design science, will be used that enable an understanding
-
-year NWO M1-funded PhD position for a project on “Social Ageing: Social environment effects on senescence, using an epigenetic clock”, with the Seychelles warbler (Acrocephalus sechellensis) as a model
-
, the graduate school and research institute of the Faculty of Economics and Business has one PhD position in the field of “Supply chain design and coordination for AM-based repair/remanufacturing” available
-
programmes, academic staff and research perform well on various excellence ranking lists. FEBRI, the graduate school and research institute of the Faculty of Economics and Business, has two PhD positions
-
. FEBRI, the graduate school and research institute of the Faculty of Economics and Business has one PhD position in the field of “The changing nature of teamwork: unstable, part-time, ill-defined
-
perform well on various excellence ranking lists. FEBRI, the graduate school and research institute of the Faculty of Economics and Business, has two PhD positions available in the area of Data-Driven