It looks like the 2 UART ports on the VEX should connect to JeVois directly. Make sure you connect the IOREF pin of JeVois to the voltage used by the VEX UART for its RX and TX lines (I assume 5V). Please see here for details:
http://jevois.org/doc/UserSerial.html