Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- United Kingdom
- Germany
- France
- Sweden
- Spain
- Netherlands
- Norway
- Poland
- Belgium
- Denmark
- Canada
- Australia
- Austria
- Singapore
- Switzerland
- Luxembourg
- United Arab Emirates
- Italy
- Czech
- Romania
- Finland
- Japan
- Estonia
- Morocco
- Ireland
- Kyrgyzstan
- Russia
- Brazil
- China
- Cyprus
- Hong Kong
- Lithuania
- Slovenia
- Andorra
- Croatia
- New Zealand
- Saudi Arabia
- Worldwide
- 30 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Science
- Biology
- Business
- Education
- Materials Science
- Mathematics
- Arts and Literature
- Social Sciences
- Psychology
- Environment
- Humanities
- Chemistry
- Earth Sciences
- Law
- Linguistics
- Sports and Recreation
- Electrical Engineering
- Physics
- Design
- Philosophy
- Statistics
- 15 more »
- « less
-
Qualifications Bachelor’s or Master’s degree in Computer Science, Electrical Engineering, Artificial Intelligence, or a related discipline. Strong interest in 3D computer vision and machine learning methods
-
industrial cases within the project serve as primary test beds for the research, but the PhD researcher is expected to test the developed methods in a broader field, including agrifood where MeBioS is highly
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 1 day ago
, Karima, et al. "A systematic and formal study of the impact of local differential privacy on fairness: Preliminary results." 2024 IEEE 37th computer security foundations symposium (CSF). IEEE, 2024. - [4
-
AUSTRALIAN NATIONAL UNIVERSITY (ANU) | Canberra, Australian Capital Territory | Australia | about 6 hours ago
verification, theory of computation, formal methods Intelligent Systems: artificial intelligence, machine learning, computer vision, natural language processing, robotics Data Science: data mining and
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
licensure/certification? NA Required Computer Applications: Microsoft Excel, Microsoft Word, Microsoft PowerPoint, Microsoft Outlook Required Other Computer Applications: NA Required Additional Knowledge
-
on design of mixed-signal circuits. - Valuable Knowledge of comercial design tools like Cadence / Synopsys. - Competence in computer architectures and digital system design with HDLs (Verilog or VHDL
-
three challenging fields of computer simulations, nano-manipulation, and biomedical engineering. MATTER builds on the well-equipped core facilities of UT and establishes synergies with the most
-
Computer Science, Electrical and Computer Engineering, Princeton Language and Intelligence, the Princeton Center for Statistics and Machine Learning, and the greater STEM community. This position works closely with
-
monitor (at runtime) their quality and performance. The position involves close collaboration with end-users at the Copenhagen Metro and Everllence, where you will apply co-design and co-creation methods