52 formal-verification-computer-science PhD positions at Ghent University

  • Ghent University | Belgium | 24 days ago

    of these materials.State-of-the-art characterization techniques such as DSC, DMA, DTMA, micro-Computed Tomography (micro-CT), optical microscopy and Scanning Electron Microscopy (SEM) are combined with advanced numerical

  • Ghent University | Belgium | 2 months ago

    Job description The Sustainable Systems Engineering (STEN) group and the research units BIONAMIX and BIOVISM of Ghent University welcome a candidate for a full time PhD position on advancing

  • Ghent University | Belgium | 2 months ago

    competitive advantage. You have (basic) bio-informatics skills or are willing to learn. Prior experience with FLIM (performing experiments and data analysis using FLUTE, Flimfit, SPCImage, napari, Python

  • Ghent University | Belgium | 3 months ago

    are looking for a highly creative and motivated PhD student with the following qualifications and skills: You have (or will obtain before the starting date) a (European) master's degree in computer science

  • Ghent University | Belgium | about 10 hours ago

    ) PhD degree at Ghent University) can apply. Exchange students cannot apply for this scholarship; This program is meant for students at the beginning of their PhD. To a limited extent, PhD students

  • Ghent University | Belgium | about 12 hours ago

    double) PhD program between Ghent University and their home university. Students selected under this preference program will be exempted from paying tuition, bench fees, or any other study-related costs

  • Ghent University | Belgium | about 10 hours ago

    for five years, from November 30, 2023, to November 30, 2028. Under this agreement, UGent and CSC co-finance about 50 new CSC PhD students annually. Students selected through the UGent-CSC preference program

  • Ghent University | Belgium | about 1 month ago

    , a service that converts scientific publications into FAIR data; Implementation of nomenclatural validation rules (e.g., verification of holotypes and isotypes). Integration of Taxonomic Data Sources

  • Ghent University | Belgium | about 12 hours ago

    that transcends the boundaries of faculties and science disciplines. The PhD community is supported by the Doctoral Schools Ghent University  and Gentse Pre- en Postdoc Raad . Psychosocial well-being at work and

  • Ghent University | Belgium | about 12 hours ago

    and science disciplines. The PhD community is supported by the Doctoral Schools Ghent University  and Gentse Pre- en Postdoc Psychosocial well-being at work and ombudsperson Doctoral and other students

Enter an email to receive alerts for formal-verification-computer-science positions