Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- The University of Manchester
- University of A Coruña
- University of Groningen
- BI Norwegian Business School
- CNRS
- Delft University of Technology (TU Delft); today published
- Fraunhofer-Gesellschaft
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hannover Medical School •
- Instituto Politécnico de Bragança
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- RPTU University of Kaiserslautern-Landau •
- UPF
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Surrey
- University of Warwick
- Warsaw University of Technology - Centre for Credible AI
- 10 more »
- « less
-
Field
-
Pipeline Lifecycle Management Framework WP3: Hybrid Science-AI Models Foundations WP4: System Architecture, Continuous Integration, Testing and Technical Verification WP6: Dissemination, Communication
-
Tasks: Module development and integration into the existing Julia codebase Verification through benchmark test cases Performance testing and debugging Technical documentation of implemented modules Final
-
this position will be responsible for conducting research in the area of verification, testing and exploration of artificial intelligence models, active participation in lab meetings, scientific seminars and
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 20 hours ago
(RPTU Landau) (single payment for verification of foreign certificates) Recommended: German Language & Orientation Course for International Students: 800 EUR Costs of living Monthly cost of living: approx
-
about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current
-
for logical foundations, a new linguistic layer representing the intermediate steps between natural language texts and formal proof documents, and the automatisation tools for the efficient construction
-
machinery. These tasks include the verification of backlash detection and monitoring strategies formulated from the integration of multibody models and sensor data, as well as their subsequent development
-
machinery. These tasks include the verification of backlash detection and monitoring strategies formulated from the integration of multibody models and sensor data, as well as their subsequent development
-
into account, as well as the value contributed to the centre and the host team. The selection committees, if they deem it appropriate, may call candidates for an interview, as well as carry out the verification
-
The Accounting group in the Department of Accounting of Operations Management is divided into two sub-groups: One group conducts quantitative (formal analytical and archival) research in the areas of financial