Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
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
-
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
-
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
-
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