Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- National University of Singapore
- University of Oslo
- Villanova University
- INESC TEC
- Universidade do Minho
- University of Birmingham;
- University of Sheffield
- ;
- Center for Drug Evaluation and Research (CDER)
- City of Hope
- Harvard University
- Hong Kong Polytechnic University
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- Technical University of Munich
- The University of Texas MD Anderson Cancer Center
- UNIVERSITY OF SOUTHAMPTON
- UNIVERSITY OF SURREY
- University of Birmingham
- University of Calgary
- University of Sheffield;
- University of Stavanger
- University of Stirling
- University of Surrey
- Western Norway University of Applied Sciences
- 16 more »
- « less
-
Field
-
-checked security guarantees. In parallel, we will investigate how modern AI techniques can accelerate large-scale formal verification, developing AI proof agents that can maintain, extend and refactor
-
-checked security guarantees. In parallel, we will investigate how modern AI techniques can accelerate large-scale formal verification, developing AI proof agents that can maintain, extend and refactor
-
- “Development of the adaptive landing and aerial manipulation technology based on the generalized parallel mechanism and artificial intelligence technology”. Qualifications Applicants should have a doctoral
-
the application for a UniGR fellowship. Staff members of Saarland University are not eligible to apply. The selection process for the UniGR fellowship runs in parallel with the other fellowships and is carried out
-
development skills; distributed or parallel computing is a plus. Experience designing and executing field experiments in urban or environmental settings, with willingness to engage in fieldwork in dense urban
-
framework for immersive 3D virtual environments, such as Roblox and Minecraft. The engineer will play a key role in building a parallelized, agent-driven exploration system and integrating a multimodal
-
cell lysis, restricting analysis to single timepoints and necessitating parallel samples. This prevents temporal tracking in the same cells and poses challenges for scarce primary samples. The use
-
parallel programming and/or high-performance computing, particularly on GPU or FPGA architectures; Knowledge of compression techniques, including predictive coding, filter banks, transforms, and statistical
-
, the institute undertakes multiple projects in parallel, and opportunities will exist to participate in a variety of workstreams that align with your interests.
-
arenas with the user partners in CISU to develop research directions within the CISU context. The candidates' parallel projects enable direct comparison and knowledge transfer across urban contexts. Both