Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
classical computing algorithms are NP-hard or, in general, difficult to implement. Within your application, please provide a research proposal (no more than five pages) answering the following questions: What
-
develop both theory and concrete tools to design systems that learn, reason, and act in the real world based on a seamless combination of data, mathematical models, and algorithms. Our research integrates
-
Location: Cambridge, Massachusetts 02142, United States of America [map ] Subject Areas: Machine Learning Artificial Intelligence Biology Appl Deadline: (posted 2025/09/30, listed until 2026/03/30) Position
-
want to understand the fundamental principles that permit us to build privacy-aware AI systems, and develop algorithms for this purpose. The group collaborates with several national and international
-
-1,3,3,3-tetrafluoropropene (R1234ze(E)). The position combines mechanism building and validation with algorithm and database contributions to RMG, supported by electronic-structure data from literature, and
-
members. Participate in traffic scenario generation project and pedestrian modeling project. Develop sophisticated AI-driven algorithms that create realistic, safety-critical test scenarios for autonomous
-
on quantitative evaluation metrics such as algorithmic fairness paradigms. Applicants should hold a PhD in philosophy, law, cultural anthropology, or (qualitative) social science. The positions are fixed-term (6
-
software tools for system control, data acquisition, and automation — preferably in NI LabVIEW or equivalent platforms. Build smart algorithms to optimize real-time energy production from various sources and
-
distributed quantum computing. The center includes other quantum faculty, and conducts a wide range of collaborative quantum research in the areas of quantum computing, quantum algorithms and complexity