Your mission
As a Software Engineer at IOG you are responsible for writing high-quality code for our products. You have the exciting challenge of working with cutting-edge research and technology with a focus on the market's needs. To support you on this challenge, our products have software architects, product managers, project managers, formal methods specialists and QA test engineers, with whom you must communicate professionally, effectively and efficiently.
Duties
- Adhere to existing code style and team best practices
- Work with teams across multiple time zones
- Work independently on software development tasks
- Be proactive and require minimal supervision or mentoring to complete tasks
- Review specifications produced by architects and formal methods specialists
- Contribute to the design of algorithms
- Write clean, straightforward, efficient code that satisfies previously 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 team mates
- Fix bugs in your own code and in legacy code from others
- 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
Requirements
Your expertise
- Degree in Computer Science is desirable but not essential
- A minimum of 2-3 years development experience (professional or otherwise) in the required language (Haskell, Javascript, Scala, Rust)
- Experience working with Git and Git workflow
- Practical experience with Agile software development methods
- Knowledge of functional and object-oriented programming paradigms
- 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)
- Familiar 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.
Benefits
Location
IOG is a distributed organization and therefore this is a remote position.
All Colleagues
- Flexible schedule
- Laptop reimbursement
- New starter package to buy hardware essentials (headphones, monitor, etc)
- Learning & Development Opportunities
- Competitive PTO and Sick Leave plan
US Employees
- Medical, Dental, and Vision benefits coverage through Anthem for the employee and dependents
- 401k
- Health Savings Account
- Life Insurance
UK Employees
- Monthly Health Stipend to use towards any wellness or medical coverage/service
- Pension
