Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
22 Sep 2025 Job Information Organisation/Company Télécom Paris Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country France
-
scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and
-
or dissertation, etc. 2. documentation that the criteria set out in the desirable requirements section have been met. Selection process The first stage of the competition procedure is formal verification
-
of the Agreement-Programme of Institutional Support Selection Procedure (articles 17, 19 and 28 of the Scientific Emplyment Regulation) signed between the Portuguese Foundation for Science and Technology, I.P. (FCT
-
. Contribute to research projects within discrete-event systems, supervisory control theory, and formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required