- 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 (Arlington, VA)
- …coursework in at least two of the following areas: i) programming Rust, OCaml , Haskell, or Python, ii) using property-based testing (eg, QuickCheck, Hypothesis) or ... other test generation tools; iii) using GenAI; iv) understanding the basic inner workings of compilers, type checkers, or code analysis tools Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not… more
- Amazon (Portland, OR)
- …verification. - Experience with higher-level programming languages like Rust, Dafny, Lean, OCaml , and LISP. Amazon is committed to a diverse and inclusive workplace. ... Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with… 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
- 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. ... + Familiarity with financial products such as interest rates or equity derivatives. + 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… more
- Meta (Washington, DC)
- …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
- 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 (Seattle, WA)
- …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