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
- Psychology
- Chemistry
- Humanities
- Environment
- Design
- Philosophy
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
: The competition is open from October 5, 2026 to October 19, 2026. 13. Method of submitting applications: Applications can be formalized through the UPB application submission portal (http
-
, 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
-
, review work for quality and accuracy, and ensure that research procedures and analytical methods are implemented appropriately. The position includes formal supervisory responsibilities in
-
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
-
, 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
-
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
-
, 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
-
, 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