Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, verification and management of data. Designs and deploys high-performance AI systems using GPUs and hardware accelerators for research. Performs software development tasks as needed to support research
-
vision of WASP is excellent research and competence in artificial intelligence, autonomous systems and software for the benefit of Swedish industry. Read more: https://wasp-sweden.org/ Linköping
-
artificial intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to
-
knowledge representation Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology
-
following ORNL Neutron Sciences website: https://neutrons.ornl.gov/suites/diffraction As part of our research team, you will emphasize developing software analysis tools for multi-dimensional data
-
instruments may be found on the following ORNL Neutron Sciences website: https://neutrons.ornl.gov/suites/diffraction As part of our research team, you will emphasize developing software analysis
-
: https://www.hawaii.edu/offices/eeo/policies/ Employment is contingent on satisfying employment eligibility verification requirements of the Immigration Reform and Control Act of 1986; reference checks
-
applicants of all disciplines within the field of computer science, but we would welcome applicants with expertise in the areas of theoretical computer science, software verification and software
-
stochasticity. Where to apply Website https://emploi.cnrs.fr/Offres/CDD/UMR7010-JERBEC-002/Default.aspx Requirements Research Field Physics Education Level PhD or equivalent Research Field Chemistry
-
academic research while working directly with industry datasets, operational systems, and commercial software development. This is a unique industry postdoctoral position comprising a 0.8 FTE