Sort by
Refine Your Search
-
Country
-
Employer
- EPFL
- National Energy Technology Laboratory (NETL)
- Delft University of Technology (TU Delft)
- ICN2
- Rutgers University
- Stanford University
- University of North Carolina at Chapel Hill
- Aalborg University
- Cornell University
- Durham University
- Institut Pasteur
- King's College London
- NEW YORK UNIVERSITY ABU DHABI
- Naturalis
- Technical University of Munich
- Texas A&M AgriLife
- University of Amsterdam (UvA)
- Aarhus University
- Blekinge Institute of Technology
- Bournemouth University;
- CNRS
- Centre for Genomic Regulation
- Charles University, Faculty of Pharmacy in Hradec Králové
- Duke University
- Erasmus University Rotterdam
- European Space Agency
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz Association of German Research Centres
- Helmholtz-Zentrum Berlin für Materialien und Energie GmbH
- Human Technopole
- ICMAB
- Imperial College London
- Institut Català de Nanociència i Nanotecnologia
- Karolinska Institutet (KI)
- Lunds universitet
- Mossakowski Medical Research Institute, Polish Academy of Sciences
- Polymer Institute of the Slovak Academy of Sciences
- RIKEN
- Sandia National Laboratories
- SciLifeLab
- Singapore-MIT Alliance for Research and Technology
- Swedish University of Agricultural Sciences
- Texas A&M AgriLife Extension
- The University of Arizona
- UNIVERSITY OF VIENNA
- University of California, Berkeley
- University of Central Florida
- University of Florida
- University of Groningen
- University of Kansas Medical Center
- University of Lincoln
- University of Miami
- University of New Hampshire
- University of New Hampshire – Main Campus
- University of Oxford
- University of Southern Denmark
- Université de Bordeaux / University of Bordeaux
- Virginia Tech
- Vrije Universiteit Brussel
- Wageningen University & Research
- Yale University
- 51 more »
- « less
-
Field
-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
of questions such as: How do guidelines translate to different teaching methods used across faculties? Examples include: lecture, workshop, studio, seminar, and online learning material. What are the respective
-
, or density ranges. We recognize that acoustic-based abundance estimation may ultimately require multiple complementary approaches that address different components of the acoustic observation process and
-
funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Leverage computer vision, smart
-
and controlled polymerization techniques, including living cationic polymerization, controlled radical polymerizations. Post-polymerization reactions. Fabrication of different polymeric materials
-
modeling and analysis. Ability to select, implement, diagnose, and adapt parameter-estimation or statistical-inference methods to suit the model, data structure, and scientific question. Experience with
-
-temporal context and their environment. ECO-EVO BIODIV draws on a wide range of conceptual frameworks, approaches and methods from an interdisciplinary perspective. Within the framework of ECO-EVO BIODIV
-
what you are going to do Design and build flow setups using 3D printer, pumps, valves operated by a computer and the corresponding software Develop flow cells to connect various spectroscopic tools
-
Divergence (MIND) approach for estimating structural similarity networks, which enables robust structural brain networks to be derived from T1-weighted images alone and has already been shown to be sensitive