Analytical állás, munka

Use formal verification algorithms to formally prove the correctness of complicated logic problems Identify key behaviors for verification to write clear testplans for complex designs Implement testplans using innovative formal techniques Drive tools to realize their best performance Develop flow...

Understand the implementation of Fixed Income Derivative Pricing Models, written in C++: yield curve, inflation, FX and volatility derivative models Quantitative Modeling: Analyze model output, time-series to define correctness criteria and thresholding to be measured every day. Implement such...

Spearhead the development of the financial engineering platform. Maintain Python libraries for financial risk models. Advise users on Model SDLC and Aladdin Engineering SDLC. Design, implement and maintain the platform. Lead platform development supporting financial engineers and researchers....