BLP Digital AG - Software Engineer

• Modelling logic and correctness by construction is paramount to us. We aim to express what must be true, prevent invalid states, and keep systems pristine even as they grow.Thus, we’re looking for highly ambitious engineers who can tackle difficult problems and think precisely. You must be able to make assumptions explicit and use formal, structured reasoning to reach a solution, and explain why it is correct. Typically, strong background in mathematics is a key foundation for this kind of work. We also place a high value on thoroughness and perfectionism.Tooling wise, we rely heavily on type systems & functional programming. • We do not require experience with any particular technology or even industry software development experience.You should, however, provide clear evidence of the abilities we’re looking for. That evidence could include: • strong academic backgrounds (math PhD/MSc or significant olympiad achievements) • startup experience (early employee, built productive systems yourself & know what it takes to maintain them) • FP experience (have deep understanding of programming languages and are able to discern the various tradeoffs of different paradigms) • Flexibility. Work on-site in Zurich or remotely within Europe. • Flexibility. • Learn more about blp and our values at blp.digital/company/careers.