Researchers at the Inro Sushi group use official ways to prove safety properties at the interface of the program/devices: at the translator and devices level.

We are looking for a post -doctoral candidate to conduct research using official methods to prove safety at the levels of different programs/devices. An universal list of topics that can be explored:

• Evidence for mixing a translator (for example, compass) and support for devices to impose CFI
• Proof of RISC-V sinus security
• It proves that the implementation of our RISC-V processor is properly executed (for example, with sailing)
• Clarify and prove software/hardware contracts
• Breeders mix operating system and support devices for isolation

Researchers at the Inro Sushi group use official ways to prove safety properties at the interface of the program/devices: at the translator and devices level.

We are looking for a post -doctoral candidate to conduct research using official methods to prove safety at the levels of different programs/devices. An universal list of topics that can be explored:

• Evidence for mixing a translator (for example, compass) and support for devices to impose CFI
• Proof of RISC-V sinus security
• It proves that the implementation of our RISC-V processor is properly executed (for example, with sailing)
• Clarify and prove software/hardware contracts
• Breeders mix operating system and support devices for isolation