Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nova School of Business and Economics
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade de Aveiro
- University of Texas at Austin
- University of Oslo
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Instituto Superior Técnico
- University of Nottingham
- Humboldt-Stiftung Foundation
- Instituto Politécnico de Bragança
- University of Bergen
- University of Aveiro
- University of Birmingham
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Nanyang Technological University
- National University of Singapore
- ;
- Durham University
- FEUP
- INESC ID
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- LNEC, I.P.
- Massachusetts Institute of Technology
- NOVA School of Science and Technology
- Northeastern University
- Research Centre on Child Studies
- The University of Queensland
- UiT The Arctic University of Norway
- Universidade Católica Portuguesa - Porto
- University of British Columbia
- University of Kansas Medical Center
- Dana-Farber Cancer Institute
- Escola Superior de Educação João de Deus
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- Faculdade de Medicina da Universidade do Porto
- Florida Atlantic University
- Harvard University
- Institute of Systems and Robotics, Faculty of Sciences and Technology of the University of Coimbra
- Instituto Português do Mar e da Atmosfera, I.P.
- Macquarie University
- Monash University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Nature Careers
- Northumbria University;
- Oak Ridge National Laboratory
- SWPS University
- Universidade Autónoma de Lisboa
- University of Glasgow
- University of Nottingham;
- University of South-Eastern Norway
- University of Texas at El Paso
- Western Norway University of Applied Sciences
- Zukunftskolleg, University of Konstanz
- 43 more »
- « less
-
Field
-
. The tasks to be developed are part of the SANCAST project and consist of: 1) Organise data from various sources; 2) Use quantitative methods, process data and produce descriptive and inferential analyses; 3
-
case the Master degree was awarded by a foreign higher education institution, it must comply with the provisions of Decree-Law no. 341/2007 of October 12th, and all formalities established therein must
-
the Master degree was awarded by a foreign higher education institution, it must comply with the provisions of Decree-Law no. 341/2007 of October 12th, and all formalities established therein must be complied
-
into products and services for Continental through close collaboration with its business units. Key Responsibilities: Conducting the research in AI domains and formal methods Applying the developed research ideas
-
communication and cryptography. Job Requirements A Ph.D. in quantum information theory. Strong background in mathematics for quantum information, in particular in the formal methods used in quantum Shannon theory
-
the Hague Apostille issued by the competent authority of the State from which the document originates. This formality must be completed by the date of the contract. Other requirements: Strong motivation
-
expected to begin in October 2025, and may be eventually renewed up to the maximum of 12 months, including the duration of the initial contract. It is mandatory to formalize applications with the submission
-
: The research fellowship will have the duration of 12 months. It’s expected to begin in October 2025. The fellowship contract is non-renewable. It is mandatory to formalize applications with the submission
-
to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (http://drh.tecnico.ulisboa.pt/bolseiros/formularios/ ); ii) Curriculum Vitae; iii) academic degree
-
for constructing correctness proofs, yet the standard symbolic methods face significant limitations in both expressivity and scalability. This project proposes novel techniques for constructing formal proofs