Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- George Washington University
- Ghent University
- Eindhoven University of Technology (TU/e)
- CNRS
- Inria, the French national research institute for the digital sciences
- KINGS COLLEGE LONDON
- Nature Careers
- Technical University of Denmark
- UNIVERSITY OF VIENNA
- University of Minnesota
- University of Vienna
- Université Savoie Mont Blanc
- Aalborg Universitet
- Austrian Academy of Sciences, The Human Resource Department
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Eindhoven University of Technology (TU/e); today published
- Grenoble INP - Institute of Engineering
- INSERM
- Inserm
- International Institute of Molecular and Cell Biology in Warsaw
- KU LEUVEN
- Leibniz Institute for Plasma Science and Technology
- Stanford University
- Télécom Paris
- University of Southern Denmark
- Universität Wien
- 16 more »
- « less
-
Field
-
22 Oct 2025 Job Information Organisation/Company INSERM Department Center of Structural Biology Research Field Biological sciences Researcher Profile Recognised Researcher (R2) Positions Postdoc
-
scalable, flexible, and sustainable building production. You will play a key role in connecting geometry, engineering, and manufacturing logics into a unified computational pipeline. BUILTWISE is an ongoing
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
or quantum information science, and demonstrated research experience in quantum computing and at least one of the following areas: Formal semantics of programming languages. Logic in computer science. Category
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 18 days ago
3 Oct 2025 Job Information Organisation/Company Inria, the French national research institute for the digital sciences Research Field Computer science Researcher Profile Recognised Researcher (R2
-
Deadline 22 Oct 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Nov 2025 Is the job funded through the EU Research Framework Programme? Horizon
-
in connecting geometry, engineering, and manufacturing logics into a unified computational pipeline. BUILTWISE is an ongoing project with an established team and user committee. You will join this
-
23 Oct 2025 Job Information Organisation/Company Télécom Paris Research Field Computer science » Modelling tools Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country
-
translating natural language specification into a symbolic representation (e.g. knowledge graph (KG) or logic program) and a symbolic solver computing the solution. Another example is the generation
-
tertiary education in the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete
-
of Research Experience1 - 4 Additional Information Eligibility criteria • Doctor of Computer Science, Robotics • Skills in formal knowledge representation (ontology, knowledge graph, logic resolution