• Senior Research Engineer, Advanced Technology…

    Lockheed Martin (Arlington, VA)
    …real\-time system programming\. Functional programming a plus \(Haskell, Scala, OCaml , etc\.\)\. \- Experience developing software compatible with Universal Command ... and Control Interface \(UCI\) \- Data Science techniques \(e\.g\., regression analysis, statistics, K\-Means clustering, uncertainty quantification, data extraction and cleansing \) \- Optimization and control \(e\.g\., meta\-optimization, game\-theoretic… more
    Lockheed Martin (06/21/25)
    - Save Job - Related Jobs - Block Source
  • Senior Software Engineer - Fixed Income…

    Bloomberg (New York, NY)
    …to see: + Experience with other programming languages such as Javascript, Scala, and OCaml + An interest in financial markets or a background in data analytics or ... financial engineering + Experience with high volume, high availability distributed systems Salary Range = 160000 - 240000 USD Annually + Benefits + Bonus The referenced salary range is based on the Company's good faith belief at the time of posting. Actual… more
    Bloomberg (06/11/25)
    - Save Job - Related Jobs - Block Source
  • Software Engineer (Systems)

    Meta (Menlo Park, CA)
    …including HTML, CSS, or JavaScript 19. 7. Algorithms 20. 8. Erlang, Ocaml or Haskell. **Public Compensation:** $185,644/year to $200,200/year + bonus + equity ... + benefits **Industry:** Internet **Equal Opportunity:** Meta is proud to be an Equal Employment Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, or… more
    Meta (06/03/25)
    - Save Job - Related Jobs - Block Source
  • Security Engineering Manager

    Meta (Washington, DC)
    …16. Experience in functional or scripting language (JavaScript, PHP, Python, OCaml , etc.) **Preferred Qualifications:** Preferred Qualifications: 17. Knowledge of or ... experience in international and domestic terrorism issues, transnational criminal organizations, or state-sponsored cyber threat actors. 18. Experience querying large data sets and SQL 19. Experience in crisis management or incident response environments 20.… more
    Meta (05/20/25)
    - Save Job - Related Jobs - Block Source
  • Quantitative Developer - C++ Infrastructure…

    Bloomberg (New York, NY)
    …in some of CMake, AAD, Linux, Unix (Sun/IBM), Docker, WSL, Python, or OCaml . + Knowledge of financial mathematics such as optimization techniques, monte-carlo, etc. ... + A keen interest in developing skills in these areas. Salary Range = 155000 - 285000 USD Annually + Benefits + Bonus The referenced salary range is based on the Company's good faith belief at the time of posting. Actual compensation may vary based on factors… more
    Bloomberg (05/16/25)
    - Save Job - Related Jobs - Block Source
  • ASIC Formal Verification Engineer - Annapurna,…

    Amazon (Cupertino, CA)
    …with RTL: Verilog or VHDL. * Knowledge of declarative programming languages: Ocaml , Haskell. * Experience with scripting languages, such as Python, or TCL. ... * Ability to effectively articulate technical challenges and solutions * Adept at handling ambiguous or undefined problems as well as ability to think abstractly Amazon is an equal opportunity employer and does not discriminate on the basis of protected… more
    Amazon (05/06/25)
    - Save Job - Related Jobs - Block Source