Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Oslo
- ;
- University of Nottingham
- Humboldt-Stiftung Foundation
- University of Texas at Austin
- Nanyang Technological University
- University of Bergen
- University of Birmingham
- Harvard University
- Massachusetts Institute of Technology
- National University of Singapore
- Nature Careers
- The University of Queensland
- University of British Columbia
- Barnard College
- Durham University
- Florida Atlantic University
- Hong Kong Polytechnic University
- Northeastern University
- Universidade de Aveiro
- University of Kansas Medical Center
- University of South-Eastern Norway
- University of Texas at El Paso
- Western Norway University of Applied Sciences
- Zintellect
- Zukunftskolleg, University of Konstanz
- 16 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
-
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
-
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
-
and creativity to identify areas for research, develop research methods and extend their research portfolio within the thematic area of slavery in war. Candidates should have a PhD in a relevant field
-
and creativity to identify areas for research, develop research methods and extend their research portfolio within the thematic area of slavery in war. Candidates should have a PhD in a relevant field