Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- France
- Norway
- Sweden
- Luxembourg
- Germany
- Belgium
- Netherlands
- Croatia
- Canada
- Spain
- Australia
- Austria
- Singapore
- Italy
- United Arab Emirates
- Worldwide
- Finland
- Czech
- Greece
- Latvia
- Switzerland
- China
- Andorra
- Armenia
- Cyprus
- Estonia
- Hong Kong
- Iceland
- Ireland
- Japan
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- 29 more »
- « less
-
Program
-
Employer
- University of Aveiro
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Nature Careers
- University of Arkansas
- Cornell University
- Technical University of Denmark
- Broward College
- University of Texas at Austin
- Faculty of Sciences of the University of Porto
- Oregon State University
- University of Nevada Las Vegas
- FEUP
- Universidade Católica Portuguesa - Porto
- Florida International University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- University of Luxembourg
- University of Porto
- Aarhus University
- University of Minho
- Foothill-De Anza Community College District
- Universidade do Minho
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- University of Minnesota
- University of Oslo
- University of Texas Rio Grande Valley
- University of Washington
- CNRS
- Texas A&M AgriLife Extension
- California State University, San Bernardino
- Instituto de Engenharia Mecânica
- REQUIMTE - Rede de Quimica e Tecnologia
- The California State University
- University of Kansas Medical Center
- University of Trás-os-Montes and Alto Douro
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- LNEC, I.P.
- Linköping University
- The Ohio State University
- Universidade de Aveiro
- University of Michigan
- ESS - Escola Superior de Saúde
- Eastern Washington University
- Instituto Superior de Engenharia do Porto
- Jagiellonian University
- University of Glasgow
- University of Houston
- University of Warsaw
- Arkansas State University
- East Carolina University
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- UNIVERSIDADE DE ÉVORA
- University of Sheffield
- Adam Mickiewicz University, Poznań
- Ghent University
- Harvard University
- San Francisco State University
- The University of Chicago
- Universidade de Coimbra
- University of Maryland, Baltimore
- Universty of Aveiro
- AGH University of Krakow
- Arkansas Tech University
- California State University, Fresno
- INESC ID
- Institute of agriculture and tourism
- NTNU Norwegian University of Science and Technology
- Northeastern University
- Umeå University
- University of Amsterdam (UvA)
- University of California
- University of Nebraska–Lincoln
- University of South Carolina
- University of Utah
- Aveiro University
- California State University, Fullerton
- Duke University
- Escola Superior de Design, Gestão e Tecnologias da Produção de Aveiro - Norte da Universidade de Aveiro
- FCiências.ID
- Faculdade de Medicina da Universidade do Porto
- Georgia State University
- ISCTE - Instituto Universitário de Lisboa
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Instituto Politécnico de Bragança
- KU LEUVEN
- NTNU - Norwegian University of Science and Technology
- Politécnico de Leiria
- Stanford University
- Technical University of Munich
- Universidade do Porto – HR
- University of Bergen
- University of Nottingham
- Washington State University
- Aix-Marseille Université
- California State University, Northridge
- Cardiff University
- Centro de Computação Grafica
- Cerritos College
- Coast Community College District
- Dana-Farber Cancer Institute
- Faculdade de Ciências Sociais e Humanas
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Mathematics
- Law
- Materials Science
- Education
- Chemistry
- Social Sciences
- Business
- Environment
- Arts and Literature
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Earth Sciences
- Philosophy
- Design
- Sports and Recreation
- Physics
- 14 more »
- « less
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 2 days ago
may involve several complementary aspects: • Theoretical and formal developments to derive new electronic structure methods from QED; • More applied methodological developments, including the treatment
-
ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA | Italy | 4 days ago
Description The research project aims to investigate computational methods for the study of complex systems characterised by emergent dynamics, with particular attention to the micro–macro relationship in
-
of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1454, until de 23h59m (local time) of 20/04/2026. The application must include: full name, number and
-
formalized at http://www.fe.up.pt/concursos , reference on-line nº 1452, until de 23h59m (local time) of 20/04/2026. The application must include: full name, number and date of identity card or citizen card
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles
-
) • Experience with AI/ML methods or power system modelling The award of the PHAETHON PhD Studentship is strictly conditional upon the candidate’s formal admission to a PhD programme at the University of Cyprus
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo
-
use classical methods of analysis and synthesis. However, in the case of large systems, this type of approach will generally lead to very large optimization problems. A second strategy is to describe
-
manager of the hiring entity. 15. Formalization of applications: 15.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1450, until de 23h59m (local time) of 20/04