Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- National Renewable Energy Laboratory NREL
- Carnegie Mellon University
- Texas A&M University
- Oak Ridge National Laboratory
- University of Washington
- University of Cincinnati
- George Washington University
- The University of Queensland
- University of Texas at Austin
- University of Luxembourg
- University of New South Wales
- Nature Careers
- University of Victoria
- Washington State University
- Washington University in St. Louis
- Georgia College
- Texas A&M AgriLife
- University of Saskatchewan
- Aarhus University
- Binghamton University
- Delft University of Technology (TU Delft)
- Johns Hopkins University
- Kennesaw State University
- University of New Mexico
- University of Silesia in Katowice
- AGH University of Krakow
- Institut de Físiques d'Altes Energies (IFAE)
- Instituto Politécnico de Bragança
- Linköping University
- Lulea University of Technology
- Luleå tekniska universitet
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National Institute of Research and Development for Electrochemistry and Condensed Matter
- Newcastle University
- SWPS University
- Technical University of Munich
- Texas A&M TVMDL
- The University of Western Australia - India
- Universidade do Porto – HR
- University of Arkansas
- University of Bergen
- University of Kansas
- University of Minnesota
- University of Oslo
- Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI)
- Bellevue College
- Birkbeck, University of London
- Birkbeck, University of London;
- Blekinge Institute of Technology
- Cranfield University
- Eindhoven University of Technology (TU/e)
- European Space Agency
- GSMA;
- Hewlett Packard Enterprise
- Idiap Research Institute
- Instituto de Telecomunicações
- King's College London
- Lehigh University
- Lodz University of Technology
- Massachusetts Institute of Technology (MIT)
- Mid Sweden University
- NIST
- Nanyang Technological University
- National University of Science and Technology POLITEHNICA Bucharest
- Sandia National Laboratories
- Technical University of Denmark
- The Cyprus Institute
- The Franciszek Górski Institute of Plant Physiology Polish Academy of Sciences
- The University of Arizona
- The University of Auckland
- The University of Western Australia
- UNIVERSITY OF VIENNA
- Ulster University
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - Porto
- Universidade de Vigo
- University of Central Missouri
- University of London
- University of Porto
- University of Sheffield
- University of Sheffield;
- University of Southern Denmark
- University of Toronto
- University of Utah
- University of Vienna
- University of Wolverhampton
- Uppsala universitet
- Villanova University
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Wrocław University of Science and Technology
- cellumation GmbH
- 82 more »
- « less
-
Field
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
Description You are expected to conduct research in the area of trustworthy AI-assisted software engineering, with a particular focus on traceability, verification, and reproducibility of AI-assisted software
-
) years of experience; OR a PhD in the same fields with two (2) years of experience. You’ve worked in a collaborative team environment as a software developer, software engineer, verification engineer
-
engineering, resource economics and policy, statistics, or a closely related discipline. Preference will be given to applicants currently enrolled in a PhD or Master’s program in the Johnson Shoyama Graduate
-
) years of experience; OR a PhD in the same fields with two (2) years of experience. You've worked in a collaborative team environment as a software developer, software engineer, verification engineer
-
G.A.McHale, Technical Director, AI & Data Science About the Team We have a diverse team of researchers, PhDs in hybrid Large Language Models (LLMs), formal verification, high-performance computing and quantum
-
) years of experience; OR a PhD in the same fields with two (2) years of experience. You’ve worked in a collaborative team environment as a software developer, software engineer, verification engineer
-
Birkbeck, University of London, is seeking a passionate candidate to undertake a full-time PhD research in computing or mathematical sciences, and provide assistance to academic staff as a part-time
-
) Positions PhD Positions Application Deadline 22 Apr 2026 - 23:59 (Europe/Madrid) Country Spain Type of Contract Temporary Job Status Full-time Hours Per Week 37.5 Is the job funded through the EU Research
-
scales with your skills: the essential work involves careful, methodical verification of data; more technically experienced candidates will also contribute to testing and illustrating AI-assisted pipelines