Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Aarhus University
- University of Aveiro
- Cornell University
- University of Texas at Dallas
- CNRS
- NEW YORK UNIVERSITY ABU DHABI
- University of Kansas Medical Center
- University of Minho
- University of Nevada Las Vegas
- Stanford University
- University of Luxembourg
- Universty of Aveiro
- Chalmers University of Technology
- University of Florida
- University of Manchester
- University of Twente (UT)
- Aarhus University (AU)
- Aix-Marseille Université
- Durham University
- Indiana University
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- International Iberian Nanotechnology Laboratory (INL)
- Jagiellonian University
- KTH Royal Institute of Technology
- KU LEUVEN
- Linköping University
- National Aeronautics and Space Administration (NASA)
- New York University
- Northeastern University
- Pennsylvania State University
- SWPS University
- Texas A&M University
- Umeå University
- University of Canterbury
- University of Colorado
- University of Jyväskylä
- University of Michigan
- University of Southern Denmark (SDU)
- University of Vienna
- Universität für Bodenkultur
- Warsaw University of Technology
- Wroclaw University of Science and Technology
- Yale University
- Łukasiewicz Research Network - Krakow Institute of Technology
- 34 more »
- « less
-
Field
-
methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us The Department of Computer Science and Engineering , a joint
-
studies. The position depends little on the volume of collected data: its validation relies on formal analysis, ablations and targeted studies. Where to apply Website https://emploi.cnrs.fr/Offres/CDD
-
, are available in the Competition and Job Offers of the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursos-e-ofertas . 2.4.3 — When formalizing the application, if a classified
-
candidate will have an existing research profile that uses ethnographic methods to explore questions relevant to the social and ecological effects of livestock and agricultural infrastructures on landscapes
-
will be part of the MAX formal computation team at LIX (the computer‑science laboratory of École Polytechnique) and will benefit from a standard work environment. Where to apply Website https
-
: Conceptualisation and synthesis of data integration and visualisation workflows. Data management and the development of knowledge graphs Development and application of AI and machine learning methods and pipelines
-
abroad must prove the recognition, equivalence, or registration of the doctorate degree, under the applicable legislation. This formality must be fulfilled up to the date of signing the contract. 2
-
studies will also be considered. Computational methods, content analysis, surveys, and other methods can be used complementarily, but should not be the primary method. Viable path towards access
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent
-
obtained abroad must prove the recognition, equivalence, or registration of the doctorate degree, under the applicable legislation. This formality must be fulfilled up to the date of signing the contract. 2