Yes, my method follows very closely the screenshots. I have input the same information when setting it up, and the server name is entered correctly.
I tried to follow the workaround 1 but fell at the hurdle where I was supposed to untick the box 'Juniper Network Service'. This box didn't appear for me!
However, when logging in to https://vpn.leeds.ac.uk/ it tells me my information is incorrect, though it's the same information I use for the university portal and logging in using uni computers, so I know it is correct. (Unless there is an entirely different log-in I am supposed to use... which is unlikely because I know nothing of it and nothing has been mentioned in any documents relating to how to install the software). So this indicates some sort of permission issue, right?
I very much appreciate all of your time and help so far. It sounds like I might need to hear back from the IT department about this though! I have tried all your suggestions including downloading the VPN client linked on the page, with no luck.
Thanks again,
Eleni