Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- George Washington University
- Oak Ridge National Laboratory
- Texas A&M University
- EPFL
- University of New South Wales
- Brookhaven National Laboratory
- Chalmers University of Technology
- KTH Royal Institute of Technology
- King's College London
- Lulea University of Technology
- Saarland University
- Sandia National Laboratories
- Technical University of Munich
- Texas A&M AgriLife
- University of Liverpool
- University of Luxembourg
- University of Oxford
- Warsaw University of Technology
- Wroclaw University of Science and Technology
- 9 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
-
(supervisor, Andrew Barr) The postdoc will conduct multi-disciplinary analyses of many types of data, archeological, anatomical, and geological data. The position requires a PhD in anthropology, biology
-
Ling Yap Dr Md Mijanur Rahman Key skills and experience required: A PhD in Biostatistics, Epidemiology, Data Science, or related discipline and/or relevant work experience Have contributed to competitive
-
. Qualifications PhD in a related field A well-qualified candidate may also possess: Doctoral degree in Chemistry or a closely related field. Familiarity with appropriate laboratory and/or technical equipment
-
Service. Promote equal opportunity by fostering a respectful workplace – in how we treat one another, work together, and measure success. Basic Qualifications: Candidates must have a PhD in nuclear
-
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
-
). 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
-
. -Ensures program has sufficient and efficient computing capabilities (high performance research computing, workstations, software, network attached storage). -Oversees drone activities (including drone
-
a respectful workplace – in how we treat one another, work together, and measure success. Basic Qualifications: A PhD degree in materials science, nuclear, or mechanical engineering, or a related