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 1 hour 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 3 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 1 hour 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 3 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 3 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