Sort by
Refine Your Search
-
Listed
-
Category
-
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
- Technical University of Denmark
- University of Minnesota
- University of Vienna
- Université Savoie Mont Blanc
- Aalborg Universitet
- Aarhus University
- 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
- International Institute of Molecular and Cell Biology in Warsaw
- KU LEUVEN
- Leibniz Institute for Plasma Science and Technology
- Nature Careers
- Stanford University
- Technical University of Munich
- UNIVERSITY OF VIENNA
- University of Southern Denmark
- Universität Wien
- 16 more »
- « less
-
Field
-
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
-
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
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 16 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
-
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
-
of Research Experience1 - 4 Additional Information Eligibility criteria • Doctor of Computer Science, Robotics • Skills in formal knowledge representation (ontology, knowledge graph, logic resolution
-
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 applications
-
. Postdoc Scholars may also be eligible for retirement savings and tuition programs. For program details and eligibility, please visit https://hr.gwu.edu/postdoc_benefits. II. POSITION INFORMATION Posting
-
Leibniz Institute for Plasma Science and Technology | Greifswald, Mecklenburg Vorpommern | Germany | 3 days ago
» BiochemistryEducation LevelPhD or equivalent Skills/Qualifications PhD in biology, (bio)chemistry, bioinformatics or a related field High affinity to data and large-data-driven science, as well as strong logical