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....

Design, develop, and implement BMC Helix/Remedy applications and solutions tailored to client specifications and business requirements. Integrate BMC Helix/Remedy with other enterprise systems and third-party applications to ensure seamless operations and data flow. Customize BMC Helix/Remedy...

Implement and maintain large‑scale data pipelines and the Azure/Databricks data platform in close collaboration with the Architect, contributing to design discussions and proposals. Build robust, scalable pipelines using Azure Databricks (PySpark / SQL), integrating data ingestion, processing,...

Implement and maintain large‑scale data pipelines and the Azure/Databricks data platform in close collaboration with the Architect, contributing to design discussions and proposals. Build robust, scalable pipelines using Azure Databricks (PySpark / SQL), integrating data ingestion, processing,...