Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- University of Nottingham
- University of Texas at Austin
- Humboldt-Stiftung Foundation
- University of Bergen
- ;
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Nanyang Technological University
- REQUIMTE - Rede de Quimica e Tecnologia
- University of Birmingham
- Harvard University
- Massachusetts Institute of Technology
- National University of Singapore
- The University of Queensland
- University of British Columbia
- University of Kansas Medical Center
- Barnard College
- Durham University
- Florida Atlantic University
- Instituto Superior Técnico
- Nature Careers
- Northeastern University
- SWPS University
- Universidade de Aveiro
- University of Aveiro
- University of Glasgow
- University of Nottingham;
- University of South-Eastern Norway
- University of Texas at El Paso
- Western Norway University of Applied Sciences
- Zintellect
- Zukunftskolleg, University of Konstanz
- 22 more »
- « less
-
Field
-
JavaScript for all functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 17th August 2025 Languages English English English PhD Research Fellow in Formal Methods
-
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
-
with an R&D unit, focused on cross-disciplinary research skills in the areas of food, innovation, and sustainability. Experience in: a) Liquid and solid phase extraction methods for plant metabolites and
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 3 hours ago
analyzing ways to mitigate exposure to atmospheric pollution in urban and indoor environments. To this end, the candidate will: i) Apply methods and techniques for air quality assessment; ii) Participate in
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 3 hours ago
conditions. Presentation of the results. Duration: The research fellowship(s) will have a duration of 3 months (non-renewable), expected to begin in September, 2025. It is mandatory to formalize applications
-
the provisions of Decree-Law no. 341/2007 of October 12th, and all formalities established therein must be complied with at the signature of Fellowship contract. Working plan: The selected candidate will be
-
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 with at the signature of Fellowship contract
-
formalities established therein must be fulfilled by the date of the hiring act. 4. Eligibility: Applicants are eligible if they comply with paragraph a) of no.1 of article 2, of the Research Fellow Statute in
-
Massachusetts Institute of Technology | Cambridge, Massachusetts | United States | about 3 hours ago
environments) remains an open frontier. The new MIT Multi-agent AI Postdoctoral Fellowship Program at Schwarzman College of Computing (MIT MAPS) brings together cutting-edge methods in machine learning