Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
-
Field
-
from software error discovery to mitigation based on modern active learning. Job Description You will research the state-of-the-art in AI and apply it to real-world software problems at our industrial
-
Find2Fix will engineer the first open-source tool for the entire process from software error discovery to mitigation based on modern active learning. Job Description You will research the state
-
implementation (Month 22–24), · Hitachi Energy: Benchmarking of magnetic components (Month 30–32), · Danfoss: Experimental model verification (Month 34–35). IMPORTANT: Strong knowledge in
-
. Condition of Employment Reliability Status For a Reliability Status, verification of background information over a period of 5 years is required. Language Requirements English Information on language
-
, whilst also setting the foundations for the software technologies to run on this new generation of equipment – which of course includes AI. Meanwhile we are pushing the limits of applied mathematics
-
, whilst also setting the foundations for the software technologies to run on this new generation of equipment – which of course includes AI. Meanwhile we are pushing the limits of applied mathematics
-
into areas such as AI-driven verification, predictive maintenance, and compliance assurance, aiming to enhance system reliability and safety. Situated within the esteemed IVHM Centre and supported by
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
researchers in multi-investigator or multi-disciplinary scientific projects. Condition of Employment Reliability Status For a Reliability Status, verification of background information over a period of 5 years
-
of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers