Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- France
- Norway
- Sweden
- Luxembourg
- Germany
- Belgium
- Netherlands
- Croatia
- Spain
- Canada
- Australia
- Austria
- Singapore
- Italy
- United Arab Emirates
- Worldwide
- Finland
- Czech
- Greece
- Latvia
- Switzerland
- China
- Andorra
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Japan
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- 28 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Mathematics
- Law
- Materials Science
- Chemistry
- Education
- Social Sciences
- Business
- Arts and Literature
- Environment
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Earth Sciences
- Philosophy
- Sports and Recreation
- Design
- Physics
- 14 more »
- « less
-
the formalities must be fulfilled there until the contracting act. Activity Outline: Participation in the research project and execution of scientific activities related to Task 1. The research fellows will be
-
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
-
articulate reasoning, analyze patterns, and justify algebraic methods. Monitor group dynamics and ensure equitable participation. 2. Promote Mathematical Thinking Use inquiry-based prompts to deepen conceptual
-
) from current and/or previous institutions that showcase your current and previous coursework in social sciences and/or quantitative methods. In your cover letter, please explain why you would like to GSI
-
, utilising qualitative methods in their work. Additionally, research experience in the following areas is welcome: the sociology of social inequalities, class stratification and divisions, social movements
-
refer to https://www.uni.lu/snt-en/research-groups/sigcom/ . Your role Develop innovative methods and data-driven AI tools for highly dynamic SatCom systems Implement and open-source proof-of-concept
-
August, and all formalities established therein must be complied with at the signature of work contract. 7.The tender admission general requirements are those defined in the previous point 6, and
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods
-
) from current and/or previous institutions that showcase your current and previous coursework in social sciences and/or quantitative methods. In your cover letter, please explain why you would like to GSI
-
with yeast, - knowledge of the Western blot method, - knowledge of gene manipulation methods, - participation in teaching activities (leading laboratory exercises) Documents required with the application