44 formal-methods PhD positions in Belgium

  • Ghent University | Belgium | about 2 months ago

    factors that accelerate material deterioration (e.g., hydrogen embrittlement, corrosion). The primary tasks include developing advanced multiphysics frameworks (finite element/phase-field methods

  • Ghent University | Belgium | 2 months ago

    and to support various approaches for N flux modeling and analysis. The successful candidate will be responsible to answer research questions related to the use of spectroscopy methods, e.g., visible

  • Ghent University | Belgium | 24 days ago

    methods based on exact algorithms and/or (meta)heuristics (in Python, Java, C++, …) You are willing to invest time and effort in improving both your academic English writing and presentation skills, i.e

  • Ghent University | Belgium | about 2 months ago

    community. We will monitor the evolution of root trait development using both destructive and non-destructive methods, and assess how the activity of microfauna controls this development, both directly and

Enter an email to receive alerts for formal-methods positions