- Joined
- 8/6/10
- Messages
- 283
- Points
- 38
Hi there,
I'm new to the forum but interested in the subject of Finance. I was wondering if there is much call for Formal Methods as a skill in the world of Quants? When I studied my first undergrad (Software Engineering) we did a lot of work on Set Theory, Formal Methods and Z spec/notation.
I've not seen a lot on the topic and wondered if it widespread in the banking/Finance world?
Thanks
I'm new to the forum but interested in the subject of Finance. I was wondering if there is much call for Formal Methods as a skill in the world of Quants? When I studied my first undergrad (Software Engineering) we did a lot of work on Set Theory, Formal Methods and Z spec/notation.
I've not seen a lot on the topic and wondered if it widespread in the banking/Finance world?
Thanks