Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Tallinn University of Technology
- National University of Science and Technology POLITEHNICA Bucharest
- Delft University of Technology (TU Delft)
- Binghamton University
- Colorado State University
- Cranfield University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Inria, the French national research institute for the digital sciences
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- Texas A&M AgriLife
- The University of Manchester
- University of Amsterdam (UvA)
- University of Southern Denmark
- Warsaw University of Technology - Centre for Credible AI
- 6 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | 7 days ago
-physical interactions between aerodynamics, propulsion, structures and materials. The systematic verification and validation of these models allows to integrate CFD in the certification process, reducing our
-
software to create maps. Experience with data entry and data QA/QC protocols to support ecological and forestry research. Knowledge of Microsoft Excel highly preferred, familiarity with ArcPro and R also
-
campus effective August 1, 2017. Offers of employment will be contingent upon successful completion of a pre-employment background check and verification of degree(s) and credentials. Application
-
verification tools. AMS test diagnostics and fail-log analysis. Your Role as a PhD Candidate You will: Analyze and enhance current automotive IC test flows. Develop new or improved fault models using NXP’s in
-
; - Experience in programming in React Native, Flutter, and/or C#, software engineering, and version management systems; - Proficiency in English (written and oral communication) will also be valued. 3. Work plan
-
enjoy several benefits, such as training and professional development opportunities, holiday leave, accommodation in NUSTPB residences, banking facilities, access to research infrastructure, and software
-
to research infrastructure, and software for remote working Eligibility criteria The candidates must provide a document issued by the doctoral school they have been enrolled to, certifying the PhD candidate
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
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
-
Institute and will be working together with researchers from QuSoft . This PhD project aims to push the state-of-the-art in quantum compilation, verification and/or classical simulation. The exact project