Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Aarhus University
- University of Manchester
- University of Luxembourg
- University of Oslo
- Universidade de Coimbra
- University of Nevada Las Vegas
- University of Porto
- Cornell University
- University of Kansas Medical Center
- Universty of Aveiro
- University of Glasgow
- AGH University of Krakow
- CNRS
- Cardinal Stefan Wyszynski University in Warsaw
- Durham University
- Indiana University
- University of Colorado
- University of Minho
- University of South-Eastern Norway
- University of Twente (UT)
- FEUP
- INESC ID
- Luxembourg Institute of Science and Technology
- NEW YORK UNIVERSITY ABU DHABI
- NTNU Norwegian University of Science and Technology
- Nova School of Business and Economics
- UNIVERSIDADE DE ÉVORA
- University of Aveiro
- University of Warwick
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- California State University, San Bernardino
- Chalmers University of Technology
- Eindhoven University of Technology (TU/e)
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Jagiellonian University
- KU LEUVEN
- Stanford University
- Technical University of Denmark (DTU)
- Technical University of Munich
- Texas A&M University
- University of California, San Diego
- University of Münster •
- University of Utah
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- jobs.ac.uk
- Adam Mickiewicz University, Poznań
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Fondazione Bruno Kessler
- Hanken School of Economics
- Heriot Watt University
- Imperial College London;
- Instituto Politécnico de Bragança
- Instituto Superior de Engenharia do Porto
- Instituto de Engenharia Mecânica
- Lublin University of Technology
- Luxembourg Institute of Science and Technology (LIST)
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Nanyang Technological University
- New York University
- Research Center Borstel - Leibniz Lung Center
- SUNY University at Buffalo
- The Norwegian School of Sport Sciences
- The University of Alabama
- The University of Chicago
- Umeå University
- Universidade de Trás-os-Montes e Alto Douro
- Universidade do Minho
- University of Bergen
- University of Copenhagen
- University of Florida
- University of Michigan
- University of Southern Denmark (SDU)
- University of Texas at Austin
- University of Texas at El Paso
- Warsaw University of Technology
- ;
- ASSOCIAÇÃO BIOPOLIS
- Aalborg Universitet
- Aalborg University
- Aarhus University (AU)
- Adam Mickiewicz University
- Aix-Marseille Université
- Aveiro University
- Baylor University
- Broward College
- CESPU - Cooperativa de Ensino Superior Politécnico e Universitário CRL
- CITMAga - Galician Center for Mathematical Research and Technology
- CNRS-LIRMM
- Copenhagen Business School
- Cracow University of Technology
- Delft University of Technology (TU Delft)
- EKONOMSKI FAKULTET, ZAGREB
- Erasmus University Rotterdam
- Erasmus University Rotterdam (EUR)
- FIDAMC
- FLINDERS UNIVERSITY
- Faculdade de Ciências da Universidade de Lisboa
- Faculdade de Medicina Veterinária
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Mathematics
- Biology
- Science
- Engineering
- Materials Science
- Social Sciences
- Arts and Literature
- Chemistry
- Linguistics
- Law
- Psychology
- Education
- Humanities
- Business
- Electrical Engineering
- Environment
- Sports and Recreation
- Earth Sciences
- Design
- Statistics
- 13 more »
- « less
-
Conclusion of a formal PhD agreement within 12 months Participation in and independent delivery of courses to the extent stipulated by the collective agreement Student advising/supervision Assistance with
-
to teaching, supervision and administrative tasks at the Department. The PhD project is situated within the research area of logics for multi-agent systems, and their applications to formal verification
-
complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods, and experimental mathematics will be given
-
Job related to staff position within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems
-
, probability, logic, formal methods, and experimental mathematics will be given preference. We encourage applications from scholars who apply interdisciplinary perspectives across a variety of these domains
-
addressed to the Chairperson of the Jury, submitted through the electronic platform https://apply.fcsh.unl.pt . VIII – If the PhD degree of the winner candidate has been obtained from a foreign university
-
must prove the recognition, equivalence or registration of the doctoral degree, under the terms of the applicable legislation. This formality must be completed by the signing date of the contract. 4.1
-
portal or, if necessary, by email notification. 12. Application period: The competition is open from 08/09/2026 to 21/09/2026. 13. Method of submitting applications: Applications can be formalized through
-
research unit known for its transdisciplinary orientations, including artistic research, notably audiovisual methods. The position is part of the project “Radical Communities: Transdisciplinary Approaches
-
Web of Science in the required fields of knowledge; c) Have experience in the development of optimization models and methods, as well as their implementation and testing. 5. Formalization