RSS Feed Source: Academic Keys

Research Opportunities

Computer Science; Informatics

Work description

The acquisition and processing of clinical data, with a focus on cleaning, normalising and structuring it. The application of natural language processing (NLP) techniques, including recurrent neural networks, to analyse free text records and extract patterns. Building predictive models using Python libraries. Evaluating the performance of current screening using statistical metrics such as sensitivity, specificity, precision and acuity.

The production of clear and informative visualisations to support the interpretation of results. Participating in the writing of scientific articles on the methods and results obtained.

Academic Qualifications

Computer science graduate.

Minimum profile required

Knowledge of Software Engineering. Knowledge of Data Science.

Preference factors

Experience in Python programming. Experience in programming and natural language processing (NLP), neural networks or other machine learning techniques. Experience in data visualization. Fluency in written and spoken technical English.

Click this link to continue reading the article on the source website.

RSS Feed Source: Academic Keys

Job ID: 257559

INESC TEC | Research Grant (AE2025-0227)
INESC TEC

Research Opportunities

Computer Science

Work description

Collaborate with the VeriFixer team on software development for software fault localization and repair. Collaborate with the VeriFixer team on the writing of scientific papers. Produce a technical report documenting all the tasks performed.

Academic Qualifications

BSc degree in Computer Science and Engineering or similar area.

Minimum profile required

Overall final grade of BSc greater or equal to 16. Proficiency in English. Proven experience in Dafny. Proven experience in software development for the Dafny toolchain.

Preference factors

Preference is given to candidates with proven experience with program mutation techniques.

Application Period

Since 29 May 2025 to 12 Jun 2025

Centre

High-Assurance Software

Scientific Advisor

Alexandra Sofia Mendes

Click this link to continue reading the article on the source website.

RSS Feed Source: Academic Keys

Job ID: 257554

INESC TEC | Research Grant (AE2025-0226)
INESC TEC

Research Opportunities

Power Systems – Advanced Applications for Smart Grids

Work description

To develop advanced applications for the automation of transmission and distribution networks with high integration of distributed energy resources, namely the application FLIR (Fault Location, Isolation and Restoration) for an ADMS (advanced distribution management system).

The work will also involve supporting the integration and testing of the developed application in a commercial ADMS. It is also expected that reports and articles will be written to disseminate the work.

Academic Qualifications

Electrical Engineering, Informatics, Computer Science or similar.

Minimum profile required

Knowledge in power systems steady state modelling. Knowledge in programming (C, C++ or Python).

Preference factors

Knowledge in ADMS applications. Fluency in English and

Click this link to continue reading the article on the source website.