Skip to content

@dsyme on software

Don Syme, GitHub Next, Visiting Professor, King's College London

Tag: F# Formal Methods

F# Job in Bay Area – Formal Methods – Space Systems Loral

Regular readers of my blog will know that from time to time I pass on links to job listings for F# programmers, as a courtesy to the F# community.If you have a job listing you'd like posted, please let me know! Space Systems Loral in the Bay Area are looking for an F# programmer with … Continue reading F# Job in Bay Area – Formal Methods – Space Systems Loral →

dsyme Uncategorized Leave a comment May 9, 2011 2 Minutes

Top Posts & Pages

  • 🌈Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflows
  • "Agentics are Auth-Limited"
  • Three Laws of the Business Side of Developer Tools
  • On Natural Language Programming
  • Goethe on Coding Agents
  • General Purpose Functional GPU Programming
  • Come and join the F# Compiler & Tools team!
  • The Joys of King's College London
  • Intent, meet Toolchain
  • Soma - Sql Oriented MApping framework for F#

Blog at WordPress.com.
  • Subscribe Subscribed
    @dsyme on software

    Have a WordPress.com account? Log in now.

  • @dsyme on software
    View site in Reader
    Manage subscriptionsSign upLog in
    Report this content
    Collapse this bar