Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Texas A&M University
- Oak Ridge National Laboratory
- George Washington University
- Texas A&M AgriLife
- University of Washington
- National Renewable Energy Laboratory NREL
- Nature Careers
- University of Kansas
- Aarhus University
- Institut de Físiques d'Altes Energies (IFAE)
- Linköping University
- Lulea University of Technology
- Luleå tekniska universitet
- Technical University of Munich
- University of Luxembourg
- Austrian Academy of Sciences, The Marietta Blau Institute of Particle Physics (MBI)
- Delft University of Technology (TU Delft)
- IMT MINES ALES
- Idiap Research Institute
- Indiana University
- Kennesaw State University
- Lodz University of Technology
- Massachusetts Institute of Technology (MIT)
- Poznan University of Technology
- Sandia National Laboratories
- Texas A&M AgriLife Extension
- Texas A&M University System
- UNIVERSITY OF VIENNA
- University of Cincinnati
- University of Colorado
- University of Connecticut
- University of Delaware
- University of London
- University of Reading
- University of Reading;
- University of Silesia in Katowice
- University of Vienna
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Washington University in St. Louis
- 29 more »
- « less
-
Field
-
well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to The position holder will be required to perform the following tasks
-
application! Work assignments AIR2 is a five-year multidisciplinary national project financed by the Wallenberg AI, Autonomous systems, and Software Program (WASP) whereby you will have the opportunity
-
programming (Shared and Distributed memory, GPU programming etc.) Demonstrated experience with distributed memory MPI programming Experience with collaborative software design, development, and testing
-
and software tools for visualizing and analyzing materials characterization data Develop novel, data-driven materials characterization workflows Advance understanding of process-structure-property
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
to the validation of an innovative hybrid satellite digital twin, the Titan Forge, which includes hardware and software components emulating the behaviour of the complete mission. This can speed-up the development
-
for activities in the Zero-G Lab and contributing to the Black-Hole Lab at Redwire Space Luxembourg for Hardware in the loop emulation of on-orbit scenarios. Responsabilities: Investigate existing verification and
-
data science, and/or public health or related fields including health services research, health informatics, computer scienceExperience in data analysis using statistical software & machine learning (e.g
-
of Computer Science, Electrical and Space Engineering as part of the national research program WASP. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a
-
requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to