Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Texas A&M AgriLife
- INCLIVA Biomedical Research Institute
- Indiana University
- Lehigh University
- Oak Ridge National Laboratory
- Stanford University
- Technical University of Munich
- University of California Irvine
- University of Florida
- University of Kansas
- University of Luxembourg
- University of Washington
- Washington University in St. Louis
- 3 more »
- « less
-
Field
-
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 the capital and most populous city in the State of Indiana. It is growing economically thanks to a strong corporate base anchored by the life sciences. Indiana is home to one of the largest
-
governance of AI agents Formal specification and verification techniques for AI-enabled systems AI systems for enterprise and cybersecurity applications AI compliance, risk assessment, and trustworthy AI
-
30 Jul 2026 Job Information Organisation/Company INCLIVA Biomedical Research Institute Research Field Medical sciences » Health sciences Researcher Profile Recognised Researcher (R2) Positions PhD
-
Electrical Engineering, Computer Engineering, Computer Science, or related field. Strong background in digital communications / signal processing (e.g., modulation/coding/synchronization; performance
-
for extreme-scale, heterogeneous computing. This role sits at the intersection of compiler infrastructure, formal verification, runtime systems, and hardware/software co‑design—expanding into emerging paradigms
-
Medicine. Situated within the world-renowned WashU Bursky Center for Human Immunology ecosystem, our federally funded research program is fundamentally rooted in basic immunology and cancer biology. We
-
), environmental economics, or international trade. The Postdoctoral Researcher will work closely with Dr. William Duncan on multiple projects related to data housed in KDSC's signature program, Community Data Labs
-
. Situated within the world-renowned WashU Bursky Center for Human Immunology ecosystem, our federally funded research program is fundamentally rooted in basic immunology and cancer biology. We rigorously
-
program, Texas A&M AgriLife brings together a college and four state agencies focused on agriculture and life sciences within The Texas A&M University System. With over 5,000 employees and a presence in