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
- University of Lodz
- University of Luxembourg
- 6 more »
- « less
-
Field
-
essential. Most importantly, the candidate should be curiosity driven and willing to constantly learn new things! Qualification: PhD degree in Computer Science, Informatics, or Software Engineering obtained
-
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
-
: Personal Questionnaire, Declarations, Declaration on Conducting Research in the Field of Political Science and Administration, GDPR Information for Job Candidates, Promissory Note, Statement for Verification
-
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