-
Cendón CALL DETAILS Tasks to be carried out: Collaborate in research tasks related to new mathematical models and numerical methods for the valuation of renewable energy certificates (RECs) and their
-
. The hired researcher will help develop, implement and evaluate new machine learning methods in these areas. Where to apply Website https://sede.udc.gal/services/electronic_board/EXP2025/002537 Requirements
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions