Looking for a Video Editor

I'm looking for a video editor. The edits are mostly basic cuts but the content is technical

Here is a sample of the raw footage
https://youtu.be/k38mJvAEJXc

These 4 videos came out of it
L81E Out of the box https://youtu.be/hbLHSLicC3U
IPE L81E IP assign https://youtu.be/DB_iFzc0Oro
Short Cutting factory seal https://youtu.be/DRmBBDZexlI
Short IP Assign https://youtu.be/mJO39PgnrLs