21 proof-checking-postdoc-computerscience PhD positions in France

Sort by

listed

Refine Your Search

Category
- Scholarship 19
- Research Job 2
Employer
- CNRS 7
- Aix-Marseille Université 3
- Nature Careers 3
- IMT Atlantique 2
- Ecole des hautes études en sciences sociales 1
- Grenoble INP - Institute of Engineering 1
- IMT - Institut Mines-Télécom 1
- INPHYNI 1
- IRD Occitanie 1
- Institut Pasteur 1
Field
- Computer Science 6
- Chemistry 3
- Economics 3
- Biology 2
- Engineering 2
- Business 1

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions

PhD position in "Energy-aware actor-based distributed programming" - MSCA Cofund SEED doctoral programme

IMT Atlantique | Nantes, Pays de la Loire | France | 2 months ago

dynamically by the distributed environment in which the program is executed. Required energy quotas are then checked using static analysis or dynamic tests against the energy available from the execution

Searches related to proof checking postdoc computerscience

Prev
1
2
3
Next

Enter an email to receive alerts for proof-checking-postdoc-computerscience positions