Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- George Washington University
- University of Washington
- Oak Ridge National Laboratory
- Washington University in St. Louis
- Technical University of Munich
- Johns Hopkins University
- Texas A&M AgriLife
- Texas A&M University
- EPFL
- University of Texas at Austin
- Aalborg University
- Aarhus University
- California Institute of Technology
- Chalmers University of Technology
- KTH Royal Institute of Technology
- Karolinska Institutet, doctoral positions
- King's College London
- Lulea University of Technology
- Politehnica University of Timisoara
- Poznan University of Technology
- Saarland University
- Universitat de les Illes Balears
- University of Lund
- University of Oslo
- Warsaw University of Technology
- Washington State University
- Wroclaw University of Science and Technology
- 17 more »
- « less
-
Field
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
initiatives. This position is for a Selective Excellence-funded Postdoc based in the Center for the Advanced Study of Human Paleobiology, and working in the The Paleoanthropology and Paleoecology Research Lab
-
engineering Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Application Deadline 25 Sep 2026 - 23:59 (Europe/Warsaw) Country Poland Type of Contract Temporary Job Status Full-time
-
collaboratively with undergraduate students, graduate students, postdocs, and PIs. Attends and contributes to lab meetings and discussions. Other essential duties Qualifications: Required Education Bachelor’s
-
/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and systems engineering, as well as the department's established collaborations within, among
-
understanding of parallel application development techniques (parallel programming models, algorithms, and software) Preferred Qualifications: Experience in implementing ab initio simulation codes such as VASP
-
3 Sep 2026 Job Information Organisation/Company Poznan University of Technology Research Field Chemistry » Biochemistry Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions
-
, collaborate with interdisciplinary teams, publish in leading scientific venues, and contribute to emerging QHPC software and system technologies. Major Duties/Responsibilities: Develop and evaluate
-
Worth and West Dallas, Texas area. The postdoc will work directly with Principal Investigator Dr. Alexandra (Lexi) MacMillan Uribe on this study, with the opportunity to become involved in other community