Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of New South Wales
- University of Washington
- George Washington University
- University of Texas at Austin
- Chalmers University of Technology
- Georgia College
- Graz University of Technology
- National University of Science and Technology POLITEHNICA Bucharest
- Oak Ridge National Laboratory
- University of Cincinnati
- Blekinge Institute of Technology
- Brookhaven National Laboratory
- Kennesaw State University
- Nanyang Technological University
- Saarland University
- THE UNIVERSITY OF WESTERN AUSTRALIA - INDIA
- Texas A&M University
- UNIVERSIDAD POLITECNICA DE MADRID
- University of Luxembourg
- University of New Mexico
- University of Sheffield
- Washington State University
- Wroclaw University of Science and Technology
- Wrocław University of Science and Technology
- 3IA Côte d'Azur
- Aalborg Universitet
- Aalborg University
- CNRS
- European Synchrotron Radiation Facility
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Ghent University
- Imperial College London
- Imperial College London;
- Johannes Kepler University
- Johns Hopkins University
- KTH Royal Institute of Technology
- Karolinska Institutet, doctoral positions
- Lodz University of Technology
- Lulea University of Technology
- NIST
- NTNU Norwegian University of Science and Technology
- Politecnico di Milano
- Politehnica University of Timisoara
- SINGAPORE MANAGEMENT UNIVERSITY
- Sandia National Laboratories
- South Dakota State University
- Technical University of Munich
- Universitat de les Illes Balears
- University of Arkansas
- University of Bath
- University of Bergen
- University of Bristol
- University of Liverpool
- University of Newcastle
- University of Oslo
- VIB
- Villanova University
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Warsaw University of Technology
- 50 more »
- « less
-
Field
-
and research, in and outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
: Leading the software development for the research project, and possibly mentoring Ph.D. and/or undergraduate students in the software development effort. Assisting with data collection and performance
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
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 analysis, real-time data
-
or PhD in a relevant field of study. Experience with CAD software. Stewardship of laboratory components, materials and tools, incorporating good housekeeping and preventative maintenance practices. Proven
-
well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv. The successful
-
to understand and evaluate physical sciences and engineering innovations. Preferred Qualifications: A PhD in business, physical science, engineering or related discipline. Demonstrated experience in marketing
-
of the software and its configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis
-
The purpose of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software