Chris Gibbs
Founder Director at BMIE Recruitment
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolChris Gibbs is a founder and director who blends nearly a decade of hands-on software engineering, DevOps, cloud and SAP ERP experience with a refreshingly transparent approach to recruitment, specialising in Oracle Cloud hires. He has led senior- and C-suite talent searches across EMEA for consultancies and financial services, and founded BMIE Recruitment to deliver tailored, non-pushy hiring partnerships that prioritise speed and quality. Technically literate, he has contributed to notable open-source language projects like Unison and Idris, improving type pretty-printing and verified algebraic proofs—evidence of a disciplined engineering mindset that informs his talent assessments. Based in London, Chris moves fluently between formal and informal engagements, matching hiring processes to each organisation’s culture and needs. His USP is straightforward: openness, trust and technical empathy that helps clients and candidates avoid checklist hiring and find the right fit.
9 years of coding experience
Sports Studies, Sports Studies at Birchwood High School
English
Github Skills (16)
structures10
theorem-proving10
struct10
programming-language10
functional-programming10
formal-verification10
idris10
algebra10
unison10
haskell10
parsing9
math9
parse9
parser9
mathematics9
Programming languages (6)
Github contributions (5)
unisonweb/unison
Aug 2018 - Jun 2021
A friendly programming language from the future
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 reviews, 167 commits, 28 PRs in 2 years 9 months
Contributions summary:Chris contributed to the pretty-printing functionality for the Unison programming language, specifically focusing on improving the formatting of type representations within the parser-typechecker module. Their work included adding support for tuple and delay sugar syntax, adding precedence support to the type pretty-printer, and integrating the printer with PrettyPrint.hs. This involved modifying several files to enhance the visual presentation and improve the readability of the code, ensuring the printer's output differed cosmetically from the original parsed code and included appropriate line breaks.
haskellcompilerdistributed-systemsunisonunison-language
idris-lang/Idris-dev
Jan 2017 - Apr 2017
A Dependently Typed Functional Programming Language
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 3 PRs, 8 comments in 3 months
Contributions summary:Chris primarily contributed to the development of the Idris programming language's standard library, focusing on formal proofs within the `Data.ZZ` module. Their work involved proving mathematical properties such as associativity, commutativity, and distributivity for integers, enhancing the language's verification capabilities. They also added implementations for verified algebraic interfaces, including `VerifiedSemigroup`, `VerifiedMonoid`, and `VerifiedRingWithUnity`, to support the formal verification of algebraic structures. The commits indicate a strong emphasis on proving the correctness of fundamental mathematical operations within Idris.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.