Job Information
- Organisation/Company: University of Minho
- Department: Centro ALGORITMI
- Research Field: Computer science
- Researcher Profile: Other Profession
- Positions: Bachelor Positions
- Application Deadline: 24 Aug 2026 - 23:59 (Europe/Lisbon)
- Country: Portugal
- Type of Contract: Temporary
- Job Status: Full-time
- Hours Per Week: 35
- Is the job funded through the EU Research Framework Programme? Not funded by a EU programme
Offer Description
A call for applications is now open for the attribution of 1 (one) research grant within the scope of LASI - Intelligent Systems Associate Laboratory, reference LA/P/0104/2020, financed by national funds under the Multi‑Year Funding Program for R&D Units funded by Foundation for Science and Technology (FCT), under the following conditions:
Scientific Area
Mathematics, Computer science
Recipient category
The open position is for candidates holding a bachelors’s degree who, at the time of hiring, can prove enrollment in one of the following courses:
- Master's/Integrated Master's;
- Non-degree granting course.
Requirement for granting the fellowship
- The applicants may apply without prior registration in the course for which the fellowship is open. The requirement to enroll in a degree course or non-academic degree course will be verified on the date of contracting the fellowship;
- Only fellowships whose selected applicants present a valid proof of enrollment in a degree course or non-academic degree course will be contracted, according to the type of the fellowship, issued by a Higher Education Institution, indicating, respectively, the academic year or its duration (start and term).
Applicants’ eligibility
Candidates who meet the conditions set out in Article 9 of the Research Grant Regulations, No. 950/2019, of 16-12-2019, of FCT I.P. are eligible.
Nationals or citizens of other European Union member states, third-country nationals, stateless persons, and citizens with political refugee status are eligible to apply for this competition.
Candidate eligibility requirements
Candidates must hold, at the time of application, a bachelor’s degree in Mathematics, Computer Science or related fields. Candidates must also have knowledge in:
- Computational complexity
- Formal proof systems
- Artificial Intelligence applied to automated reasoning
Workplan and objectives to be achieved
This project extends the analysis of the matching problem with recourse by employing the Lean interactive theorem prover to formally characterize its computational complexity and construct machine-verified algorithms. Core activities include encoding the probabilistic multi-round recourse mechanics into Lean’s dependent type theory, formalizing machine-checked complexity reductions to pin down the problem’s precise complexity class and identifying tractable graph topologies through machine-verified algorithmic bounds.
Objectives
Given the three-month grant duration, the primary objective is to lay the formal foundations and achieve demonstrable progress toward characterizing the problem’s complexity in Lean. Rather than targeting a complete, machine-checked proof, the project aims to define the problem's stochastic state transitions within Lean's type theory, formalize a candidate complexity reduction framework, and verify algorithmic bounds for at least one simplified instance class. This work will establish the necessary theoretical groundwork and proof infrastructure for future comprehensive formalization.
Evaluation criteria
Evaluation will focus on milestone progress and artifact quality within the project’s timeline. Key criteria include the delivery of compiling Lean modules containing the core mathematical definitions, the depth of verified proof scripts, and an open-source repository with documentation outlining the verified progress.
This research context and methodological approach is appropriate for consolidating the scholarship recipient's scientific training within the scope of the degree-granting course or academic diploma.
Applicable legislation and regulations
Research Fellow Statute (EBI), approved by Law nº. 40/2004 of August 18, in its current wording and FCT Research Fellowship Regulation, approved by Regulation nº 950/2019, published in the Diário da República, 2nd series, of December 16, 2019, in its current wording, and Scientific Research Fellowship Regulation (RBIC) of the University of Minho, approved by order nº 4998/2025, published in the Diário da República, 2nd series, nº 81, of April 28, 2025 Amended and republished through amendment statement no. 634/2025/2, published in the Official Gazette, 2nd series, no. 132, of July 11.
Host/Contracting institution and scientific supervision
The workplan will be carried out in the Center of Mathematics of the University of Porto (CMUP), under the scientific supervision of João Pedro Pedroso Ramos dos Santos, Associate Professor at the Computer Sciences Department of the Faculty of Sciences of the University of Porto, and coordination Paulo Jorge Freitas de Oliveira Novais, Full Professor at the Informatics Department of the University of Minho.
Fellowship duration
The grant will take place for a period of 3 months, with a provisional starting date on the October 2026. The fellowship grant may, eventually, be renewed up to the maximum limit allowed by the project and/or applicable legislation.
Amount of the research grant
The amount of the grant corresponds to 1090,98 €/ month, according to the table of FCT grants in the country (https://www.fct.pt/wp-content/uploads/2026/03/Tabela-de-Valores-SMM-202… ) and the table of values of the Scientific Research Scholarships of the University of Minho, updated annually by decision of the Management Board.
Payment is made on the 23rd of each month, through bank transfer to the Bank Identification Number of the fellow identified in the contratualization process.
Other benefits
Reimbursement of Voluntary Social Insurance, if the candidate chooses to receive it, corresponding to the 1st level of discounts (for research grants with a total duration 6 months or higher) and personal accident insurance.
Exclusivity regime
The grantee will perform the activities under exclusivity, as foreseen in article 5º of the Research Fellow Statutes and applicable regulations.
Selection panel
President, Doctor Paulo Jorge Freitas Oliveira Novais, Full Professor at the Informatics Department at the School of Engineering at the University of Minho;
Effective member, Doctor José Manuel Ferreira Machado, Full Professor at the Department of Industrial Electronics at the School of Engineering of the University of Minho;
Effective member, Doctor João Pedro Pedroso Ramos dos Santos, Associate Professor at the Department of Computer Science of the Faculty of Sciences, University of Porto;
Substitute member, Doctor Helena Maria Monteiro Moreira Oliveira dos Reis, Associate Professor at the Faculty of Economics, University of Porto;
Substitute member, Doctor Manuel Fernando da Silva Rodrigues, Assistant Researcher of ALGORITMI Center at the School of Engineering of the University of Minho.
The first effective member will substitute the President of the selection panel in case of impediment, being nominate the first substitute member in the place of the first effective member.
Criteria and procedures for applications assessment and selection
The applications assessment will focus on the candidate's Merit, following evaluation criteria, valued on a scale of 0 to 20 values:
- Merit of the Candidate - MC (100%)
- Academic path, with a weighting of 40%:
- Grades of academic degree, with a weighting of 50%;
- Area of training of the course, with a weighting of 50%;
- Personal curriculum, with a weighting of 40%:
- Experience in research activities, with a weighting of 50%;
- Professional or extracurricular experience relevant to the work plan, with a weighting of 50%;
- Motivation letter, with a weighting of 20%.
- Academic path, with a weighting of 40%:
The degree field will be evaluated according to the table established in the criteria definition minutes, previously drawn up.
The final classification of the applicant’s merit with the achieved through the following formula:
MC = (A.1 × 0,4) +(A.2 × 0,4) +(A.3 × 0,2)
Since
A.1 = (A.1.1 × 0,5) + (A.1.2 × 0,5)
A.2 = (A.2.1 × 0,5) + (A.2.2 × 0,5)
If the jury does not consider itself able to decide using the method indicated in A (MC), it may choose to conduct an Interview. In this case, MC will have a weighting of 60% and the candidates classified in the first 8 positions, who obtain the minimum classification of 14 in the MC, will be admitted to the Interview phase, with the Jury evaluating the following sub-criteria:
B. Interview - ENT (40%):
- Interpersonal skills, with a weighting of 30%;
- Demonstrated knowledge in the area in the competition, with a weighting of 40%;
- Motivation, with a weighting of 20%;
- Language skills, with a weighting of 10%.
The Interview classification (ENT) will be obtained by applying the following formula:
ENT = (B.1. × 0,3) + (B.2. × 0,4) + (B.3. × 0,2) + (B.4. × 0,1)
Final classification formula: The final ranking of candidates who complete the procedure will be expressed on a scale from 0 to 20 values and will result from the weighted arithmetic average of the quantitative classifications obtained in each selection method, according to the following formula:
FC = (MC × 0,6) + (ENT × 0,4)
Candidates who obtain a valuation lower than 12,00 values in any of the selection methods are considered excluded from the final valuation.
The jury reserves the right not to award the research grant if candidates with the appropriate profile are not presented to the competition.
The academic degrees and diplomas documents, or their respective recognition when awarded by foreign higher education institutions are not mandatory in the application phase, being replaced by a declaration of honour of the candidate with the contents of academic results. The documents of academic qualification or respective recognition will be required in the contracting phase and must attest facts that occurred on a date prior to the application. In situations of divergence between the information contained in the declaration and the documentation submitted for contracting the grant, only the information contained in the latter will be consider. If the documents proving the ownership of the academic degree and diploma, or the respective recognition under the terms of Decree-Law No. 66/2018, of August 16, do not correspond to the classifications awarded in the evaluation of the academic path, which can change the candidate's ranking, the fellowship won’t be contracted.
The degree recognition must include the respective conversion of the final classification obtained in the foreign qualification, to the Portuguese classification scale. Candidates who do not comply with these terms, when there is a selection method in which the final grade of the course is indicated as an evaluation criterion, the jury will assign a classification of 0 (zero) values in that component.
In the application stage, when a declaration of honor is presented in replacement of degree recognition by a Portuguese higher education institution, and the degree recognition process has not yet been completed, the indication of the final grade of the academic degree will not be admitted as evidence for evaluation, when there is a selection method in which the final course grade is indicated as an evaluation criterion. Thus, in this situation, or when presenting only a certificate of qualifications from a foreign institution, the jury will assign a classification of 0 (zero) values in the aforementioned selection method.
Application deadline and submission
The call for applications is open from August 11th until August 24th, 2026.
Applications must be submitted by email to recrutamento@algoritmi.uminho.pt, indicating the reference number of the competition in the subject line. Only applications submitted within the established deadline and accompanied by the following documents will be accepted:
- Candidate's updated curriculum vitae;
- Certificates of the academic degrees obtained or, if applicable, the candidate's declaration of honor that he/she has completed the degrees required in the notice (requirements and selection criteria) by the application deadline;
- Motivation letter.
- Other documents that the candidate considers relevant to the evaluation process.
Form of publication/notification of results
The results of the evaluation are published in a single list by final score obtained, posted in a visible and public place in the host unit, as well as by email to all candidates, attaching, for this purpose, the minutes of the jury's deliberations, within a maximum period of 90 working days from the deadline for submission of applications.
Candidates are informed, at a preliminary hearing, in accordance with Articles 121 and 122 of the Administrative Procedure Code, of the likely outcome of the final decision, and may comment within 10 working days of this notification.
An appeal may be lodged against the final decision within 15 working days, or an appeal may be lodged with the highest executive body of the funding entity within 30 days, both after the respective notification (Article 12(nº6) of the FCT Research Grant Regulations).
Within 10 working days of notification of the grant award, the applicant must declare their acceptance in writing. In case of non-acceptance, the next highest ranked applicant will be notified immediately.
Fellowship contractualization
The scholarship is awarded through the signing of a contract between the University of Minho and the scholarship recipient, in accordance with point 2.4 of the Rules for the Award and Management of Scholarships
The contract can only be signed after receipt of all the documentation required for the type of scholarship, which must occur within a maximum period of 6 months, including proof of academic degrees or diplomas, as well as enrollment in non-degree study cycles or courses, as applicable.
Once all the documentation has been received, the contracting entity has 60 working days to sign the scholarship contract. Once received by the scholarship holder, the contract must be returned, duly signed, within 15 working days.
Term and cancellation of fellowship contracts
Without prejudice to the other grounds laid down in the University of Minho's Scientific Research Scholarship Regulation and in the Research Fellow Statute, the scholarship will cease on completion of the contracted work plan, as well as on expiry of the period for which it was granted or renewed.
The final report must be submitted to the scientific advisor, in accordance with the defined objectives and evaluation criteria, no later than 60 working days after the end of the scholarship and must be drawn up in accordance with Annex I of the Regulations of the University of Minho.
Non-discrimination and equal access policy
Universidade do Minho actively promotes a policy of non-discrimination and equal access, so that no candidate may be privileged, benefited, harmed or deprived of any right or exempt from any duty due, namely, to ancestry, age, sex, sexual orientation, marital status, family status, economic situation, education, social origin or condition, genetic heritage, reduced working capacity, disability, chronic illness, nationality, ethnic origin or race, territory of origin, language, religion, political or ideological convictions and trade union membership.
Declaration of Honor
Academic qualifications
I, (full name), candidate for the vacancy for the award of a (type of scholarship), within the scope of the project (name or reference of the project), with the reference (ref. notice), declare on my honor that I have completed the academic degree of (academic degree), qualifying for the type of scholarship in the competition, namely the course (designation), by the (University conferring the degree), on the date XX/XX/XXXX, with a final average of XXXXX values on the YY scale.
As it is not possible for me to present proof of qualifications until the end of the competition, I declare that I undertake to present the aforementioned certificate at the conclusion of the scholarship contract, in the event that I am selected for the vacancy in the competition.
As this is true, I hereby date and sign this declaration.
(Place), (date).
____________________
(full name)
NOTE: The declaration may only attest to facts that occurred prior to the application.
In the event of a discrepancy between the information contained in the declaration and the documentation submitted for the purpose of contracting the scholarship, only the information contained in the latter will be taken into account.
Declaration of Honor
I, (full name), bearer of identification document number (XXXX), candidate for a research grant (type of grant), within the scope of the project (name or reference of the project), with the reference (ref. call for proposals), declare on my honor that (I have not received any research grants to date / I have received the following research grants) under the Research Grant Holder Statute.
University
Financing Entity
Project
Type of Grant
Duration
Start
Term
As this is true, I hereby date and sign this declaration.
(Place), (date).
____________________
(full name)
Where to apply
E-mail: recrutamento@algoritmi.uminho.pt
Requirements
- Research Field: Computer science
- Education Level: Bachelor Degree or equivalent
- Skills/Qualifications: Please see Offer Description
- Specific Requirements: Please see Offer Description
Additional Information
- Benefits: Please see Offer Description
- Eligibility criteria: Please see Offer Description
- Selection process: Please see Offer Description
- Additional comments: Please see Offer Description
- Website for additional job details: https://algoritmi.uminho.pt/open-positions/
Work Location(s)
- Number of offers available: 1
- Company/Institute: Center of Mathematics of the University of Porto (CMUP)
- Country: Portugal
- State/Province: Porto
- City: Porto
- Postal Code: 4169-007 Porto
Contact
- State/Province: Guimarães
- City: Guimarães
- Website: https://algoritmi.uminho.pt/open-positions/
- Street: Campus de Azurém
- Postal Code: 4800-058
- E-Mail: recrutamento@algoritmi.uminho.pt
Esta é uma lista de previsão...
Você precisa se inscrever para ver a descrição completa do trabalho e para se candidatar.
Gerencie / atualize este trabalho para uma lista completa de empregos.
Encontre a sua melhor oportunidade
Diga a eles AcademicJobs.com Enviou você!
.png){kind=logo}
