Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NEW YORK UNIVERSITY ABU DHABI
- Nature Careers
- Oak Ridge National Laboratory
- CNRS
- Argonne
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Delft University of Technology (TU Delft)
- Technical University of Munich
- University of Oxford
- Technical University of Denmark
- University of Oslo
- Aalborg University
- Duke University
- King's College London
- University of Southern Denmark
- University of Miami
- Cornell University
- ICN2
- Lunds universitet
- Northeastern University
- The University of Arizona
- Aarhus University
- Delft University of Technology (TU Delft); Published yesterday
- KU LEUVEN
- National Renewable Energy Laboratory NREL
- Princeton University
- Stanford University
- Texas A&M AgriLife
- The Cyprus Institute
- University of California Berkeley
- University of Luxembourg
- Auburn University
- Brookhaven National Laboratory
- Durham University
- ETH Zürich
- European Space Agency
- Forschungszentrum Jülich
- Ghent University
- IMT Mines Albi
- Illinois Institute of Technology
- Imperial College London
- Institut de Físiques d'Altes Energies (IFAE)
- KINGS COLLEGE LONDON
- Luleå tekniska universitet
- Missouri University of Science and Technology
- National Aeronautics and Space Administration (NASA)
- THE UNIVERSITY OF HONG KONG
- Texas A&M University
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Umeå universitet
- Universidade de Aveiro
- University of London
- University of Lund
- University of Minnesota
- University of Nevada, Reno
- University of North Carolina at Chapel Hill
- University of Oxford;
- University of Twente (UT)
- Université de Limoges
- Uppsala universitet
- Utrecht University
- Villanova University
- Virginia Tech
- ;
- AI4I
- Aix-Marseille Université
- Babes-Bolyai University
- Cardiff University
- Carnegie Mellon University
- Center for Advanced Systems Understanding, Helmholtz Center Dresden-Rossendorf
- Center for Biological Research "Margarita Salas"-CSIC
- Chalmers University of Technology
- City University of Hong Kong
- Computer Vision Center
- Czestochowa University of Technology
- Delft University of Technology (TU Delft); Published today
- Deutsches Elektronen-Synchrotron DESY
- Ecole Centrale de Lyon
- Eindhoven University of Technology (TU/e)
- Erasmus MC (University Medical Center Rotterdam)
- Eurac Research
- Flanders Institute for Biotechnology
- Fudan University
- Hasso Plattner Institute;
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Heriot Watt University
- IMDEA Food Institute
- IMT Atlantique
- IMT Mines Ales
- INRAE
- Idiap Research Institute
- Imperial College London;
- Inria, the French national research institute for the digital sciences
- Institut Pasteur
- Institute of Physics of the Czech Academy of Sciences
- Institute of Theoretical Physics
- International Iberian Nanotechnology Laboratory (INL)
- Istituto Italiano di Tecnologia
- Itä-Suomen yliopisto
- Jönköping University
- 90 more »
- « less
-
Field
-
, United States of America [map ] Subject Area: Engineering / Quantum Science and Engineering Appl Deadline: (posted 2026/01/20, listed until 2026/06/28) Position Description: Apply Position Description Occupational Summary
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
-impact publications and open-source contributions Collaboration with PhD student, domain experts and international partners Support for conference travel and research networking A stimulating
-
well as close collaboration with the local industry. With approximately 50 researchers including PhD students, postdocs, and faculty on all levels, we are one of the largest academic software engineering research
-
stakeholders We are looking for candidates with: A PhD in electrical engineering, biomedical engineering, physics, or a related field Strong programming skills in LabVIEW, C++, and Python, with
-
. The group will be contributing to the Physics Modeling (MC software, MC validation and Pileup modeling), the MET High-Level Trigger validation, optimization and performance studies, and to the heterogeneous
-
and machine learning. Topics of interest in this area include, but are not limited to: natural language processing, large language models, graph learning, prompt engineering, knowledge graphs, knowledge
-
: PhD in physics, laser technology, photonics, or related field Ph.D. completed within the last 5 years Strong track record in experimental high-power laser physics Experience with cryogenic lasers
-
science » Informatics Engineering » Other Researcher Profile Recognised Researcher (R2) Positions PhD Positions Country Portugal Application Deadline 21 Jan 2026 - 23:00 (Europe/Lisbon) Type of Contract Not Applicable