Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Oak Ridge National Laboratory
- Texas A&M University
- George Washington University
- Texas A&M AgriLife
- Texas A&m Engineering
- EPFL
- 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
- 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 Oxford
- Warsaw University of Technology
- Washington State University
- Wroclaw University of Science and Technology
- 20 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
-
problems, and you will apply your work in multidisciplinary domains alongside globally recognized experts. You will bring creative thinking, teamwork, and hardware-software co-design skills to bear as you
-
publications and conference presentations in top venues, invited talks, and organized workshops, tutorials, and symposiums. Releasing research software as open-source libraries and contributing to community
-
. 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
-
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
-
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
-
(cannula, optical fiber, or electrode). Analyze electrophysiology and photometry data using appropriate software and statistical methods. Conduct selected behavioral assays (e.g., operant self-administration
-
. 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