4 software-formal-method-phd uni jobs at INESC TEC

INESC TEC is accepting applications for 1 job(s) in the Experimental development and validation of a galvanometer-based LIBS scanning system. (AE2026-0030)

INESC TEC | Portugal | about 2 months ago

and optimize LIBS mapping methods.; - Support the development of signal-analysis software.; - Conduct performance testing and validation in case studies. Academic Qualifications: Master's Degree

INESC TEC is acception applications to recruit 1 Doctorate in the field of Research and development of new algorithms for processing and classifying physiological signals in ambulatory systems (AE2025-0605)

INESC TEC | Portugal | 3 months ago

Research (C-BER) has extensive experience in biomedical signal processing, particularly physiological signals from wearable devices. This position aims to research and develop methods for processing

INESC TEC is acception applications to recruit 1 Doctorate in the field of Physical or Electrical Engineering (AE2025-0603)

INESC TEC | Portugal | 3 months ago

PLACE FCUP-INESC TEC WORK AREA: Physical or Electrical Engineering The present work is part of the ATE_SOUND3D_OS project and aims to provide support and develop Python software for a customized submarine

INESC TEC is acception applications to recruit 1 Doctorate in the field of Virtual Reality (AE2026-0059)

INESC TEC | Portugal | about 1 month ago

and related fields. REQUIRED PROFILE National, foreigner and stateless candidates holding a PhD degree in PhD in Computer Science or a related scientific field and have a scientific and professional