Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- Texas A&M AgriLife
- EPFL
- Texas A&m Engineering
- University of Luxembourg
- University of Washington
- Argonne
- Brookhaven National Laboratory
- Chalmers University of Technology
- KTH Royal Institute of Technology
- Lehigh University
- Lulea University of Technology
- Pennsylvania State University
- Poznan University of Technology
- Purdue University
- Saarland University
- Sandia National Laboratories
- Technical University of Munich
- Texas A&M AgriLife Extension
- The Ohio State University
- University of California Irvine
- University of Connecticut
- University of New South Wales
- University of Oxford
- Warsaw University of Technology
- Washington State University
- Wroclaw University of Science and Technology
- 19 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
-
. Ability to effectively utilize a computer and applicable software to create databases, perform statistical analyses, present data, and perform other computer related tasks. Ability to multitask and work
-
of Agriculture and Life Sciences at Texas A&M University Texas A&M Forest Service Texas A&M Veterinary Medical Diagnostic Laboratory As the nation’s largest most comprehensive agriculture program, Texas A&M
-
Requisition Id 17144 Overview: Oak Ridge National Laboratory is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
solutions to compelling problems in energy and security. We are seeking a Postdoctoral Research Associate who will support the Science Engagement Section in the National Center for Computational Sciences
-
, biological anthropology or a related field. The postdoc will also assist with writing reports and publications, train students, and assist faculty in the preparation of new grant applications. In some cases
-
Sciences | Speech Hearing Science The Department of Speech and Hearing Science seeks a full-time Postdoctoral Scholar to work with Dr. Christina Roup on an NIH-funded clinical trial investigating
-
statistical software & machine learning (e.g., R, Python, SAS, or STATA). Experience working with large population dataset (e.g. EHR, claims data). Background in health informatics, population health research
-
-0157/25], carried out under the First Team programme of the Foundation for Polish Science, co-financed by the European Union under the European Funds for Smart Economy 2021–2027 (FENG). Quantitative