Software Engineer (Haskell, Javascript, Scala, or Rust)

About The Role Our client is looking for a Software Engineer to join their team, you'll be responsible for writing high-quality code for our products. You'll tackle the exciting challenge of working with cutting-edge research and technology, always with a focus on market needs. You'll collaborate professionally and effectively with software architects, product managers, project managers, formal methods specialists, and QA test engineers. Responsibilities

• Follow agile software development practices
• Work independently on software development tasks with minimal supervision
• Review specifications produced by architects and formal methods specialists
• Contribute to the design of algorithms
• Write clean, straightforward, efficient code that satisfies agreed acceptance criteria and specifications
• Commit often and submit small pull requests frequently
• Cover your code with unit, property, and integration tests when applicable
• Review the pull requests of your teammates
• Fix bugs in your own code and in legacy code
• Be available for emergency fixing of severity 1 issues on deployed products
• Integrate software components and third-party libraries
• Verify and deploy programs and systems
• Troubleshoot, debug, and upgrade existing software
• Write documentation for the code
• Write technical user manuals
• Be knowledgeable of distributed and concurrent computation
• Be knowledgeable of the basics of cryptography
• Work with teams across multiple time zones

RequirementsKey Competencies

• Write idiomatic code that satisfies acceptance criteria
• Write efficient and sufficient tests (unit tests, property tests)
• Document code and APIs concisely and unambiguously
• Break down tasks into sub-tasks that are completable in a short amount of time
• Pragmatically adhere to software engineering principles (modularity, incremental development, no premature optimization, etc.)

Required Experience & Skills

• A minimum of 2-3 years of development experience (professional or otherwise) in one of the following languages: Haskell, Javascript, Scala, or Rust.
• Experience working with Git and Git workflow
• Practical experience with Agile software development methods
• Knowledge of functional and object-oriented programming paradigms

Specialist Skills (Dependent on Role - Indicate Your Area of Expertise) Candidates should possess strong skills in at least one of the following specializations: Haskell Engineer

• Good understanding of Quickcheck/Hedgehog and property testing
• Good understanding of concurrent programming / concurrency
• Good understanding of call-by-need, memoization, and lazy evaluation
• Experience in similar languages: PureScript, Elm, Idris, Agda, Ocaml, F#
• Experience with / contributions to GHC (Glasgow Haskell Compiler)
• Familiarity with frameworks/libraries such as conduit, cryptonite, distributed-process, lens, optparse-applicative, persistent, pipes, servant, stm, template-haskell
• Proficiency with advanced FP techniques such as: Advanced functional data structures, Dependent types, Extensible effects, Generic programming, Streaming, Type-level programming

Scala Engineer

• Advanced knowledge of the Scala type system
• Familiarity with frameworks such as ScalaPB, Scalacheck, Scalatest, Scala.js, doobie, testcontainers, sttp

Network Engineer

• Familiarity with Poldercast, Dandelion, Kademlia, Tor, P2P architectures and topologies
• Practical experience with issues related to latency and throughput
• Knowledge of distributed computing libraries

Cryptography Engineer

• Familiarity with cryptographic signing systems, Zero Knowledge protocols, Multi Party Computation (MPC)
• Familiarity with blockchain cryptography and constructions
• Practical experience with implementation of cryptographic primitives
• Security sensibility related to cryptographic implementation
• Good theoretical cryptography and mathematical knowledge
• Ability to read cryptographic papers

Tools Engineer

• Experience writing or working with (cross) compilers, object formats, linkers, build systems, IDEs and IDE integrations
• Experience and enthusiasm for working with large legacy code bases, across multiple languages
• Ability to reach agreements with upstream developers

Functional Compiler Engineer

• Expertise in programming language design & implementations including frontends, type systems, program transformations, optimisations, and code generation
• Familiarity with Human-Computer Interface (HCI) aspects of programming languages and DSLs, programmer tools and analysis (a bonus)

Front End & Full Stack Engineer

• Proficiency in HTML/CSS/LESS/SASS
• Experience with CSS Preprocessing
• Proficiency in Javascript/ES6
• Experience with NPM, Webpack, Gulp
• Familiarity with React/Angular/Backbone/Vue/Knockout/MobX/REST API
• Experience with Electron, Cordova, React Storybook
• Knowledge of GraphQL
• Understanding of MVC/MVVM patterns
• Strong grasp of UX/Design Principles
• Basic knowledge of image and design editing tools (e.g., Sketch, Photoshop, Zeplin etc)
• Experience with NodeJS and Docker

Rust Engineer

• Solid System Programming experience (ideally in Rust, but also relevant experience in C/C++ will be considered)
• Experience with distributed system and network development
• Proficiency in software development methods such as agile programming and test-driven development
• HTTP API understanding as well as accessibility and security compliance
• Experience in developing cryptography protocols (a bonus)
• Blockchain experience (a bonus)
• A track record of delivering software projects from start to finish
• Proficiency in software development best practices, including design, implementation, testing, and debugging
• Familiarity with continuous integration and deployment pipelines
• Experience with cloud platforms such as AWS or GCP
• Web3 experience (a bonus)

BenefitsHow to Apply: Please apply if you think you would be suitable for this role. We look forward to your application and the opportunity to welcome you to our team. Due to the high volume of applications we anticipate, we regret that we are unable to provide individual feedback to all candidates. If you do not hear back from us within 4 weeks of your application, please assume that you have not been successful on this occasion. We genuinely appreciate your interest and wish you the best in your job search.Commitment to Equality and Accessibility: At MLabs, we are committed to offer equal opportunities to all candidates. We ensure no discrimination, accessible job adverts, and providing information in accessible formats. Our goal is to foster a diverse, inclusive workplace with equal opportunities for all. If you need any reasonable adjustments during any part of the hiring process or you would like to see the job-advert in an accessible format please let us know at the earliest opportunity by emailing human-resources@mlabs.city. MLabs Ltd collects and processes the personal information you provide such as your contact details, work history, resume, and other relevant data for recruitment purposes only. This information is managed securely in accordance with MLabs Ltd's Privacy Policy and Information Security Policy, and in compliance with applicable data protection laws. Your data may be shared only with clients and trusted partners where necessary for recruitment purposes. You may request the deletion of your data or withdraw your consent at any time by contacting legal@mlabs.city.