3 formal-methods Master positions at University of Porto

FEP | 1 (ONE) RESEARCH STUDENTSHIP FOR THE PROJECT “NEW PREDICTIVE AI/ML SOLUTION APPLIED TO PROCUREMENT AND PRODUCTION MANAGEMENT" | Ref.ª 2025/20, n.º 125

University of Porto | Portugal | about 8 hours ago

reimbursement corresponds to the 1st step of the contribution base. 9. Evaluation methods: 9.1. The selection methods are as follows: curricular assessment (AC – abbreviation in Portuguese) with a weighting of 60

FEP | 1 (ONE) RESEARCH STUDENTSHIP FOR THE PROJECT “NEW PREDICTIVE AI/ML SOLUTION APPLIED TO PROCUREMENT AND PRODUCTION MANAGEMENT" | Ref.ª 2025/22, n.º 127

University of Porto | Portugal | about 9 hours ago

or more), which is optional (not compulsory) and the reimbursement corresponds to the 1st step of the contribution base. 9. Evaluation methods: 9.1. The selection methods are as follows: curricular

FEP | 1 (ONE) RESEARCH STUDENTSHIP FOR THE PROJECT “NEW PREDICTIVE AI/ML SOLUTION APPLIED TO PROCUREMENT AND PRODUCTION MANAGEMENT" | Ref.ª 2025/21, n.º 126

University of Porto | Portugal | about 8 hours ago

) and the reimbursement corresponds to the 1st step of the contribution base. 9. Evaluation methods: 9.1. The selection methods are as follows: curricular assessment (AC – abbreviation in Portuguese) with