Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Education
- Biology
- Science
- Mathematics
- Materials Science
- Social Sciences
- Business
- Arts and Literature
- Law
- Linguistics
- Chemistry
- Psychology
- Humanities
- Environment
- Design
- Philosophy
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
, SGLang, PyTorch internals, or similar) Interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar) or other formal methods Experience maintaining development tooling: build systems, continuous
-
, platform audits, computational analyses, online or field experiments, or formal models, as appropriate to the question; Build reproducible data-collection and analysis pipelines and document methods, code
-
command of English Specific Requirements Documented experience in preparative organic synthesis Knowledge of polymer chemistry will be an advantage Hands-on experience in chromatographic methods (GC, HPLC
-
schools in the world. For more details, please view https://www.ntu.edu.sg/mae/research . Perform research on Industrial AI, develop novel AI methods, prepare Project and Project requirements. Represent
-
, particularly with fusion bonding process (the preferred joining method). In this process, failure of assembly implies scrapping the entire structure. This project is trying to resolve this problem, by
-
of the Human Resources Unit – Scholarship Holder Center of the University of Madeira, http://urh.uma.pt/ , and the candidate will be notified by email. XII. Application deadline and method of submission: a
-
, organizations, and societies prevent, prepare for, manage, recover from, learn from, and adapt to events that may threaten something of value. We also conduct research aimed at developing methods, processes, and
-
Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project. Constructor Fabric turns a company's informal
-
settings. Selection methods Shortlisted candidates will be invited to a formal panel interview, and also asked to deliver a 20 minute teaching session to the following brief: Teaching Session ‘Promoting
-
, and cloud-based resources for large-scale data analysis and model development. Using these rich data resources, we develop and apply advanced AI/ML methods to model tumor evolution, identify clinically