Sort by
Refine Your Search
-
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
- Texas A&m Engineering
- Universitat de les Illes Balears
- University of Lund
- University of Oslo
- Warsaw University of Technology
- Washington State University
- Wroclaw University of Science and Technology
- 18 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
-
testing. A campaign layer, driven by Bayesian optimization, decides which experiment to run next. The postdoc will own the system architecture below that layer: the PLC and instrument control, the software
-
diabetes and obesity Significant publications record in high impact journals and an independency in running projects Experience in a highly dynamic lab of several postdocs, students, and professional
-
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