Sort by
Refine Your Search
-
the Principal Investigator with the verified implementation of such a compiler. The verification will be done using the Rocq proof assistant. Qualifications: The ideal candidate will be experienced in formal
-
programmes, especially in areas such as: Embedded systems and digital design, Hardware/software co-design, Dependable and real-time systems, Operating systems and system-level programming, Verification and
-
verification of dosimetry systems and key instrumentation Participate in and report on international inter-laboratory comparisons Handle feedback mechanisms, including customer surveys and continuous service
Searches related to verification
Enter an email to receive alerts for verification positions