Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- University of Aveiro
- Technical University of Denmark
- University of Luxembourg
- University of Southern Denmark
- ;
- California State University, San Bernardino
- KINGS COLLEGE LONDON
- NTNU Norwegian University of Science and Technology
- University of Glasgow
- University of Sheffield
- University of Texas at Austin
- Université catholique de Louvain
- Aveiro University
- Cornell University
- Duke University
- NTNU - Norwegian University of Science and Technology
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Stanford University
- Umeå University
- Universidade de Aveiro
- University of Bergen
- Adam Mickiewicz University, Poznań
- CNRS
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e); yesterday published
- IRIT, Université de Toulouse
- NEW YORK UNIVERSITY ABU DHABI
- Northeastern University
- Peace Research Institute, Oslo (PRIO)
- Politécnico de Leiria
- Technical University of Munich
- UiT The Arctic University of Norway
- Umeå universitet
- Universidad de Alicante
- Universidade de Coimbra
- University of Minnesota
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Argonne
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- CNR
- Canadian Association for Neuroscience
- Carnegie Mellon University
- Centro de Computação Grafica
- Chalmers University of Technology
- Cranfield University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- Faculdade de Ciências e Tecnologia
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Faculty of forestry and wood technology
- Gulbenkian Institute for Molecular Medicine
- Heriot Watt University
- INESC ID
- Imperial College London
- Institute of Public Health University of Porto
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Agronomia
- Instituto Superior de Engenharia do Porto
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Jagiellonian University
- King's College London
- Leibniz
- Linköpings universitet
- Medical Research Council
- Nanyang Technological University
- North Carolina State University
- State University of New York University at Albany
- Texas A&M TVMDL
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Chicago
- The University of Manchester
- Télécom Paris
- UNIVERSIDADE DE ÉVORA
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa - Porto
- University of Birmingham
- University of British Columbia
- University of California, Berkeley
- University of Colorado
- University of Iceland
- University of Illinois at Urbana Champaign
- University of Kansas Medical Center
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of Newcastle
- University of Porto
- University of Salford;
- University of Sydney
- University of Texas at El Paso
- Università degli Studi di Trieste
- 90 more »
- « less
-
Field
-
of Higher Education, attributed by foreign higher education institutions, and of paragraph e) of no. 2 of article 4 of Decree-Law no. 60/2018, of August 3rd, and any formalities established therein must be
-
Recognised Researcher (R2) Positions PhD Positions Country Portugal Application Deadline 30 Sep 2025 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Is the job funded through the EU
-
. Background The Department of Computing Science seeks to broaden its competence regarding the technical aspects of Software Engineering by recruiting a full professor. The position includes funding for two PhD
-
students. Expertise in advanced testbench design and formal verification. Expertise in power- and energy efficient digital hardware systems design. Expertise in embedded hardware/software systems design and
-
analysis (e.g., OCTAVVS, Quasar, and SIMCA software). The Interview selection method may be used if the jury does not consider itself sufficiently qualified to decide solely on the basis of the Curriculum
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies
-
polarisation. The results will be new digital tools, analysis methods, and content types for the future of media. The centre performs research training within media technology and innovation. This creates
-
systems, or formal methods and programming language research applied to security. The targeted application areas include, but are not limited to, security of cyber-physical systems, interactions between
-
animal species, generating standardized data that works effectively across diverse languages and cultural contexts while eliminating traditional barriers of recall bias. These methods are being deployed in
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies