Sort by
Refine Your Search
-
of programming languages, verification-aware languages, and in how to integrate AI tools and techniques into software projects. The evaluation panel assigns a classification to each of the candidates on a scale of
-
:; The selected candidates will be members of the research project VeriFixer, which aims to create automatic repair methods and tools for verification-aware programming languages, with a particular focus on Dafny
-
requirements: A preference will be given to individuals able to work in statistical software such as Matlab, STATA, Python or R. Research interest and research experience in the aforementioned scientific fields
-
objective of this project is to explore and apply Gen AI capabilities to optimize software testing processes, with a particular focus on test execution. The work aims to develop, implement, and evaluate a Gen
-
); d) Proficiency in Portuguese and English, both spoken and written. e) Competence in statistical and qualitative analysis, including the use of software such as SPSS, R, NVivo, MAXQDA, or equivalent; f
-
presentation of proposals for improvement: creation of additional analyses powered by the company's management software, such as deviation analysis and tools for analysing the performance of restaurant menus