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

  • Some History: 2001 "GC#" research project draft, from the MSR Cambridge team
  • 🌈Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflows
  • 📐Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour
  • Microsoft Codename “Cloud Numerics” Lab Refresh
  • Some links on design patterns and their relevance to F#
  • Some Details on F# Computation Expressions
  • F# for Visualization (by Jon Harrop)

Blog at WordPress.com.
  • Subscribe Subscribed
    • @dsyme on software
    • Already have a WordPress.com account? Log in now.
    • @dsyme on software
    • Subscribe Subscribed
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar