-
experts from INPE and IEAv to ensure accurate, meaningful annotations; Validate computational methods proposed by Master’s and PhD students; Deliver a well-structured, documented dataset to support
-
11 Aug 2026 Job Information Organisation/Company INESC ID Research Field Other Researcher Profile Other Profession Positions PhD Positions Application Deadline 20 Aug 2026 - 23:59 (Europe/Lisbon
-
21 Jul 2026 Job Information Organisation/Company INESC ID Research Field Engineering » Computer engineering Researcher Profile First Stage Researcher (R1) Positions PhD Positions Application
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions