Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Texas at Austin
- Technical University of Denmark
- Technical University of Munich
- Aarhus University
- Cal Poly Pomona
- Chalmers University of Technology
- Harvard University
- INESC ID
- Nature Careers
- The University of Iowa
- Télécom Paris
- Universidade Católica Portuguesa - RIO
- University of Agriculture in Krakow
- University of Kansas
- 4 more »
- « less
-
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
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
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