128 formal-verification-computer-science PhD positions in Belgium

  • Ghent University | Belgium | 3 months ago

    plants are visited by bees for food collection and how they affect bee health and fitness. In particular pollen chemistry additionally affects the bees’ resistance to pathogens. However, the interplay

  • VIB | Belgium | 3 months ago

    on cancer metastasis and novel metabolic pathways. We exploit mouse models, genetic engineering, metabolomics and single cell & spatial multi-omics analysis to gain groundbreaking insights into metabolism as

  • University of Antwerp | Belgium | about 2 months ago

    Department: Department of Construction Engineering Regime Full-time Let’s shape the future - University of Antwerp The University of Antwerp is a dynamic, forward-thinking, European university. We

  • Is this the job you’ve been dreaming of? Then apply, at the latest on 20/07/2025 , via jobs.vub.be , and upload the following documents: your CV; a draft outline of a research proposal, including the following elements: Abstract (max 250 words) The abstract of a PhD research plan should serve...

  • Ghent University | Belgium | 14 days ago

    disciplines: computer science/engineering or biomedical engineering. You have an excellent academic record of accomplishment. In particular, you have a good command of, and a strong interest in, computer

  • University of Antwerp | Belgium | about 2 months ago

    the Faculty of Medicine and Health Sciences (in collaboration with VITO) is looking for a full time doctoral scholarship holder in the field of pathology and proteomics. Position You will work actively on

  • Ghent University | Belgium | 3 months ago

    international projects. This position is open for candidates holding a Master of Science in Industrial Engineering, Operations Research, Computer Science Engineering, Mathematical Informatics, Business

  • Ghent University | Belgium | about 19 hours ago

    internationally. Job profile You hold a Master’s degree in computer science, electrical engineering, (technical) cognitive science, Human-Computer Interaction or areas relevant to the research topic (for example

  • Ghent University | Belgium | about 2 months ago

    for focal epilepsy with ultrasound neurorecording, modulation, and deep reinforcement learning (DRL) closed-loop control. The technology will be developed through detailed computer simulations and preclinical

  • Ghent University | Belgium | 29 days ago

    closed-loop control. The technology, developed through detailed computer simulations, will be validated with preclinical experiments. The candidate will be part of a multidisciplinary team working towards

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