12 formal-method-phd Fellowship positions at INESC TEC

INESC TEC is accepting applications to award 1 Research Grant for Degree holders - UNIFY - HUMANISE (AE2025-0109)

INESC TEC | Portugal | 3 months ago

the current state of the in-house compilation tools that will be the target of the work; - Study the current linking method, which combines low-level code ( LLVM-IR code or standard dialects), originated by C/C

INESC TEC is accepting applications to award 1 Research Grant for MSC or Degree holders - Plurianual_LA - CPES (AE2025-0076)

INESC TEC | Portugal | 3 months ago

of fully human-operated, AI-assisted human-operated, and autonomous systems. 3. BRIEF PRESENTATION OF THE WORK PROGRAMME AND TRAINING: 1) Development of workflows and methods enabling AI-powered decision