The chipkit stuff is pretty far along to being fully Arduino compatible for some pic32 chips. The latest version can be added with the board manager. I don’t know whether your particular chip is among those supported.
Your “powers that be” need their heads examined, though. No quick technical fix can overcome bad management in the long term.