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.

RSS Feed Source: Academic Keys

Job ID: 257546

Project Officer (Transport Engineering/ Maritime Transport and Management/Computer Science)
Nanyang Technological University Job Categories Research Scientist/Associate
Academic Fields Transportation Engineering

One project officer in Maritime Studies is available with flexible start time in the School of Civil and Environmental Engineering (CEE) at Nanyang Technological University (NTU) is available. The appointment is normally for 1 year with a provision for further extensions subject to good performance and availability of research funding.

Key responsibilities:

Conduct research in operations research, maritime decarbonisation, data analysis, methodology development and applications

Coordinate the

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