Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Aarhus University
- NEW YORK UNIVERSITY ABU DHABI
- University of Luxembourg
- University of Aveiro
- Chalmers University of Technology
- Inria, the French national research institute for the digital sciences
- University of Kansas Medical Center
- Cornell University
- Luxembourg Institute of Science and Technology
- Sveučilište u Zagrebu, Filozofski fakultet
- University of British Columbia
- University of Houston
- University of Nevada Las Vegas
- University of North Texas at Dallas
- AALTO UNIVERSITY
- AGH University of Krakow
- Aix-Marseille Université
- Argonne
- Bundesanstalt für Materialforschung und -prüfung (BAM)
- Delft University of Technology (TU Delft)
- Ecole Polytechnique Federale de Lausanne
- International Iberian Nanotechnology Laboratory (INL)
- International Institute of Molecular and Cell Biology in Warsaw
- KTH Royal Institute of Technology
- Karolinska Institutet (KI)
- Lehigh University
- Leiden University
- Ludwig-Maximilians-Universität München
- Luxembourg Institute of Science and Technology (LIST)
- Max Planck Institute for Gravitational Physics, Potsdam-Golm
- Max Planck Institute for Human Cognitive and Brain Sciences (MPI CBS)
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Medicinski fakultet Osijek
- National Center for Theoretical Sciences
- New York University
- Pennsylvania State University
- Poznan University of Technology
- St Jude Children's Research Hospital
- Technical University of Munich
- University College Cork
- University of Oregon
- University of Warsaw, Faculty of Biology
- Universty of Aveiro
- Villanova University
- Warsaw University of Technology
- Łukasiewicz Research Network - Krakow Institute of Technology
- 36 more »
- « less
-
Field
-
Postdoctoral Researcher in Semantic Knowledge Engineering & Interoperability in Materials Science in
translated into formal knowledge representations. These form the basis for the development and integration of semantic models into ontologies and knowledge graphs as a semantic layer of federated data
-
speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 4 hours ago
, temporally consistent analyses at a scale current approaches cannot reach. Formalize the TSQ (Tree-sitter Query) language beyond its original syntax-highlighting purpose, turning it into a robust, well
-
of varying generality, information on semantic and formal hubs and outliers, competing affixes and frequency distributions. The postdoctoral researchers will use the Morphicon to further our understanding
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
Max Planck Institute for Human Cognitive and Brain Sciences (MPI CBS) | Leipzig, Sachsen | Germany | 3 months ago
Heidelberg/Heidelberg University) whose work focuses on perirhinal contributions to familiarity, semantic integration, and rapid concept learning and Dr. Andrej Bicanski (MPI-CBS, Leipzig). The project
-
Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig | Leipzig, Sachsen | Germany | 3 months ago
University) whose work focuses on perirhinal contributions to familiarity, semantic integration, and rapid concept learning and Dr. Andrej Bicanski (MPI-CBS, Leipzig). The project combines computational
-
of collaborative watermarking to diffusion models and audio language models based on neural audio codecs. Studying whether watermark information can be embedded in long-term content, such as speech semantics
-
Inria, the French national research institute for the digital sciences | Montbonnot Saint Martin, Rhone Alpes | France | 2 months ago
photorealistic but also exhibit high semantic fidelity, temporal coherence, and practical usability in creative and industrial applications. 2. Main Tasks The Postdoctoral Research Fellow will be responsible
-
/). The unique value proposition of 3rdAI is its “SavvyAI” model – a transferrable and scalable bespoke dictionary and semantic tagging platform curated by domain experts that interface between the corpus and the