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

  • ๐Ÿ“Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour
  • ๐ŸŒˆRepo Assist: Crunching the Technical Debt with GitHub Agentic Workflows
  • Understanding Repositories as Human/Agent Knowledge Factories ๐Ÿš€
  • Start Your Day With Code Thatโ€™s Better ๐ŸŒค๏ธ
  • Intent, meet Toolchain
  • F# Londoners Meetup Tomorrow - Freebase with Don Syme
  • Learn F# - Hands On: This Thursday, London F# Meetup
  • F# Job in Facebook Social Gaming, London
  • Announcing F# Tools for Visual Studio Express 2012 for Web!
  • What Kind of Programming is Natural Language Programming?

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