Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Forschungszentrum Jülich
- Tallinn University of Technology
- Universidade de Coimbra
- CNRS
- Fraunhofer-Gesellschaft
- BI Norwegian Business School
- National Research Council Canada
- REQUIMTE - Rede de Quimica e Tecnologia
- DAAD
- Eindhoven University of Technology (TU/e); today published
- Leibniz
- University of Groningen
- Utrecht University
- ; The University of Edinburgh
- Cranfield University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); Eindhoven
- Instituto de Telecomunicações
- KU LEUVEN
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- Technical University of Denmark
- The University of Edinburgh
- University of Bamberg •
- University of East Anglia
- University of East Anglia;
- University of Southern Denmark
- University of Trás-os-Montes and Alto Douro
- Utrecht University; today published
- ; University of Bristol
- AALTO UNIVERSITY
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- Delft University of Technology (TU Delft); today published
- Duke University
- GFZ Helmholtz-Zentrum für Geoforschung
- Hannover Medical School •
- IMEC
- Imperial College London
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Karolinska Institutet, doctoral positions
- Leipzig University •
- Linköping University
- Ludwig-Maximilians-Universität München •
- Luleå University of Technology
- National University of Science and Technology POLITEHNICA Bucharest
- Nature Careers
- Norwegian University of Life Sciences (NMBU)
- UNIVERSITY OF VIENNA
- University of Alabama, Tuscaloosa
- University of Alaska
- University of Beira Interior
- University of Birmingham
- University of Cambridge;
- University of Greenwich
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- University of Konstanz •
- University of Liverpool
- University of Porto
- University of Surrey
- University of Twente
- University of Twente (UT)
- University of Vienna
- University of Warwick
- University of Warwick;
- Université de Bordeaux - Laboratoire IMS
- 64 more »
- « less
-
Field
-
Job related to staff position within a Research Infrastructure? No Offer Description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies
-
Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and check desired properties
-
Organisation Job description Formal verification aims at providing strong guarantees about the behaviour of programs and systems. It relies on logic to precisely describe the system in question and
-
the supervisory team: Quentin Jouet (Montagne bleue, lead developer of FloeDyn) and Dr Jérôme Weiss (CNRS, ISTERRE, Grenoble). The dynamics of sea ice is governed by a set of mechanical processes and complex
-
Design InP photonic building blocks in coupon format for integration with Si-based photonic platforms Fabricate InP coupon wafers suitable for detachment and transfer onto silicon photonic circuits Develop strategies for testing of coupons and demonstrate functional heterogeneous photonic...
-
of IC design with a focus on new architectures of CMOS backplanes. What you will do Developing, implementing and experimentally testing concepts for CMOS backplanes for OLED microdisplays Designing analog
-
models, real-time telemetry, and AI-enhanced analytics, the research aims to enable continuous simulation and verification across the entire ECU lifecycle—from early model-in-the-loop design to deployment
-
of the Hub. Our approach enhances T2 (Interconnected QC systems) through verification methods for connected networks, supports T1 (Integrated quantum demonstrators) via hardware-agnostic metrics, and enables
-
6 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Programming Computer science » Systems design Engineering » Control engineering Engineering » Systems engineering Researcher Profile First Stage Researcher...
-
Job description High-tech greenhouses play a crucial role in ensuring sustainable, affordable, and reliable local food production. The construction and operation of high-tech greenhouses is therefore expected to grow significantly over the next decade, but this increase is not matched by a...