Yes it's behind everything a derivatives quant would do. But I think quite a long way behind. Closed form analytic solutions using calculus only exist for relatively simple models and products. Most of the time you use it to calibrate and discretise a model and afterwards it's all Monte Carlo. What's more you can often just look that part up as models are increasingly commoditised rather than secret sauce.