Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- George Washington University
- Texas A&M University
- Brookhaven National Laboratory
- Chalmers University of Technology
- KTH Royal Institute of Technology
- Lodz University of Technology
- Lulea University of Technology
- Saarland University
- Sandia National Laboratories
- Technical University of Munich
- University of Liverpool
- University of Luxembourg
- Warsaw University of Technology
- Wroclaw University of Science and Technology
- 4 more »
- « less
-
Field
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
) is a generalization of the standard QBF that allows them to succinctly encode many hard problems arising in hardware verification, circuit design and software synthesis. The main goal of this project
-
, No UMO-2020/39/I/NZ5/03104, Dissecting cancer activome to develop new generation of antibody-drug conjugates, PI: PhD. Eng. DSc. Marcin Poręba, professor at WUST Type of position: research assistant
-
providing industry actors with practical evaluation tools, such as technical testing platforms for AI. Your profile PhD in Computer Science, with a thesis related to machine learning, software engineering
-
Directions AI for Scientific Computing Neural Operators and Learning-Based Surrogates LLMs and Scientific Agents Agentic AI for Engineering Design Multimodal Scientific AI Alignment and Verification
-
Job related to staff position within a Research Infrastructure? No Offer Description Job description AI is rapidly becoming the primary author of the world's software. Today's models generate code at a
-
engineering Researcher Profile Recognised Researcher (R2) Positions PhD Positions Application Deadline 25 Jul 2026 - 00:00 (Europe/Brussels) Country Poland Type of Contract Permanent Job Status Full-time Hours
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal
-
-changing careers. Learn more about Sandia at: https://www.sandia.gov *These benefits vary by job classification. What Your Job Will Be Like: We are seeking motivated postdoctoral candidates to advance