I am*	↓ ↓
E-mail*	↓ ↓

Thesis topic Open to all scientific expertises

Postdoctoral fellowships in Spain (MSCA COFUND)

Royal Melbourne Institute of Technology (Melbourne, Australia) Thesis

, Spain

We're excited to share the opportunity to apply for the AuSpire Postdoctoral Fellowships, co-funded by the European Union. These fellowships offer: Full-time employment in Spain for 36 months (3 years) with excellent conditions A competitive ...

Scientific expertises : Open to all scientific expertises

Keywords : AI, Planetary Wellbeing, Waterwaste, Engineering, Genomics, Health, Decarbonisation, Laser

Ref. ABG-134657

2025-12-03

Thesis topic

EU funding

HORIZON 2020 MSCA-Cofund Choral - 14 PhD Positions in Cultural Heritage within the UNITA Alliance

Université de Pau et des Pays de l'Adour - UPPA Thesis

, Nouvelle Aquitaine , France

As part of the UNITA Alliance, 14 excellent Doctoral Candidates (DCs) will enrol the CHORAL programme in cultural heritage. Coordinated by the Université de Pau et des Pays de l'Adour, France, CHORAL (Cultural Heritage Outreach in RomAnc ...

Scientific expertises : Open to all scientific expertises

Ref. ABG-134507

2025-11-23

Thesis topic

EU funding

Structures des réseaux et dynamiques de développement - de la révolution industrielle à la transition énergétique // Network structures and development dynamics - from the Industrial Revolution to the Energy Transition

CEA Université de Paris Systèmes Physiques Hors-équilibre, hYdrodynamique, éNergie et compleXes Thesis

Saclay

Les réseaux énergétiques sont des éléments essentiels de toute stratégie climatique et énergétique réussie. Néanmoins, ils restent peu étudiés et insuffisamment compris dans leur dynamique ainsi que dans leur relation avec la consommation des ressourc ...

Scientific expertises : Open to all scientific expertises

Keywords : Divers / Divers

Ref. ABG-134213

2025-11-06

Thesis topic

Public/private mixed funding

Preuve d'équivalence fonctionnelle de programmes binaires pour la cyber-sécurité // Proof of Functional Equivalence of Binary Codes in the Context of Programs Hardening.

Université Grenoble Alpes Thesis

Grenoble cedex 9 , France

cf. summary in english.------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ ...

Scientific expertises : Open to all scientific expertises

Keywords : analyse de programmes, exécution symbolique, cyber-sécurité, preuve, méthodes formelles
program analysis, formal methods, symbolic execution, program proofs, cybersecurity

Ref. ABG-125808

2024-09-14

Thesis topic