I'm in the same boat.  (HPC user in Dept. of Commerce)   Have you tried OpenConnect VPN Client?  It's not affiliated with Pulse Secure but supposedly it works with the their VPN server and supports smartcards.   I have not yet tried it since I don't have sudo rights on my machine. https://www.infradead.org/openconnect/    Let me know if this works for you or if you figured something else out.  Thanks.     ... View more