Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- University of Nottingham
- University of Texas at Austin
- ;
- Humboldt-Stiftung Foundation
- Nanyang Technological University
- University of Bergen
- University of Birmingham
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Harvard University
- Massachusetts Institute of Technology
- National University of Singapore
- The University of Queensland
- University of British Columbia
- Barnard College
- Durham University
- Florida Atlantic University
- Hong Kong Polytechnic University
- Nature Careers
- Northeastern University
- SWPS University
- Universidade de Aveiro
- University of Glasgow
- University of Kansas Medical Center
- 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
- 20 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
-
experience at the time of application; and (b) be familiar with theory of condensed matter, DFT, EPW, tight binding methods, ab initio modeling of electron-phonon mediated superconductivity and the
-
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
-
Massachusetts Institute of Technology | Cambridge, Massachusetts | United States | about 22 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
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 days ago
relevant case studies. Duration: The research fellowship will have a duration of 3 months. It’s expected to begin in October/2025, and it is not renewable. It is mandatory to formalize applications with
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 days ago
to begin on 1 November 2025. May be renewed up to the maximum of 12 months, including the duration of the initial contract. It is mandatory to formalize applications with the submission of the following
-
to industrial partners and members of NBIC both in the form of formal written reports and oral presentation; (v) support NBIC training activities and the supervision of postgraduate researchers and visitors
-
domains and formal methods Applying the developed research ideas and approaches to improve the software engineering process in Continental, especially requirement engineering and testing Conducting