Sort by
Refine Your Search
-
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 New South Wales
- University of Washington
- Argonne
- Brookhaven National Laboratory
- Chalmers University of Technology
- KTH Royal Institute of Technology
- Kennesaw State University
- 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 Florida
- University of Liverpool
- University of Luxembourg
- University of Oxford
- Warsaw University of Technology
- Washington State University
- Wroclaw University of Science and Technology
- 22 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
-
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
-
. Attend scientific meetings and seminars for research enhancement. Keep up to date on scientific research via reading of literature, etc. Participate in writing grant proposals. Maintain group software and
-
software platforms, sequencing analysis, spread sheets and statistical analysis. Knowledge, Skills, and Abilities Ability to effectively communicate both orally and in writing Ability to positively and
-
statistical software including Stata, R or SAS, python. Have an emerging publication track record with high impact publication(s) within biostatistics, cancer and health services research or another related
-
. 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
-
Abilities: Ability to effectively use a computer and applicable software (Microsoft Office, GraphPad, Zoom, etc.) Ability to multi-task and work cooperatively with others Animal handling (adult horses and
-
. Writing and communication skills and the ability to publish. Preferred Qualifications: Experience with Multiphysics software and simulations an asset. Previous experience with the development and
-
for microscopy, spectroscopy, interferometry, or quantum-optics experiments. Experience acquiring and analyzing experimental data using Python, MATLAB, LabVIEW, or comparable scientific software. Preferred