- Rocket Software (Columbus, OH)
- …compiler construction, and software architecture. + Technical understanding of TypeScript, OCaml or other languages with rich type systems and type inference ... + Experience with the legacy enterprise languages + Active participation in language implementation community, including contribution to open source projects **Education:** Bachelors/Masters degree in Computer Science or equivalent **Travel Requirements:**… more
- Amazon (Austin, TX)
- …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 committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer… more
- Meta (Bellevue, WA)
- …Experience in functional or scripting language (JavaScript, PHP, Python, OCaml , etc.). **Preferred Qualifications:** Preferred Qualifications: 13. BA/BS or Master's ... degree in an technical discipline or equivalent practical experience. 14. Knowledge of or experience in child safety and/or human exploitation issues, or similar. 15. Experience querying large data sets and SQL. 16. Experience working with diverse communities… more
- Meta (New York, NY)
- …systems using a wide variety of languages such as C++, Java, JavaScript, PHP, SQL, OCAML , and Python with a high degree of autonomy 2. Design flexible APIs for Meta ... product teams developing applications for web and mobile 3. Proactively identify and drive changes as needed for assigned codebase, product area and/or systems 4. Perform specific responsibilities which vary by team **Minimum Qualifications:** Minimum… more
- Sandia National Laboratories (Livermore, CA)
- …+ Experience in at least one of the following programming languages: Haskell, OCaml , Scheme, C, Coq, Isabelle/HoL + Experience in formal verification and systems ... programming + Experience applying formal verification to evaluate numerical integration schemes + Strong mathematical background in discrete mathematics. + Experience debugging software and knowledge of software engineering design principles + Applicants must… more
- 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: 155000,285000,USD,Annual Bloomberg is an equal opportunity employer and we value diversity at our company. We do not discriminate on the basis of age, ancestry, color, gender identity or… more