haskell

Company: Wire Location: Hybrid - Berlin, Germany Added: a year agoThe Director of Engineering (Backend and Platform) will oversee and grow three engineering teams, providing technical leadership and driving project execution. The role requires strategic vision, team leadership, and alignment with company goals. It is based in Berlin, Germany, with a hybrid...

ABOUT THE JOBYour responsibility: From day one, you’ll own your stories and take end-to-end responsibility for your tasks.Your team: You'll work in a small team of no more than five full-stack engineers. Like this, our teams are more efficient and can move fast.Your work: You’ll be involved in the entire software engineering lifecycle of your project -...

ABOUT THE JOBYour responsibility: From day one, you’ll own your stories and take end-to-end responsibility for your tasks.Your team: You'll work in a small team of no more than five full-stack engineers. Like this, our teams are more efficient and can move fast.Your work: You’ll be involved in the entire software engineering lifecycle of your project -...

About the job Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include Benchmark, General Catalyst, Peter Thiel, Adam D'Angelo, Larry Summers, and Jack Dorsey. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation:...

About the job Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors include Benchmark, General Catalyst, Peter Thiel, Adam D'Angelo, Larry Summers, and Jack Dorsey. Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation:...

Please note that this position is based in Berlin, Germany - relocation support is provided if required.    THE BEST WORK OF YOUR CAREER Trade Republic is the largest savings platform in Europe - we operate in 18 countries, serving +10 million customers who trusted us with over 150B in assets. But we’re striving for more. We have a bold mission to...

Über die TU DarmstadtDie TU Darmstadt steht für exzellente und relevante Wissenschaft. Die tiefgreifenden globalen Veränderungsprozesse – von Energiewende bis zu Künstlicher Intelligenz – gestalten wir durch herausragende Erkenntnisse und zukunftsweisende Studienangebote entscheidend mit. Unsere Spitzenforschung bündeln wir in drei Feldern: Energy...

WHO WE AREWe prioritise privacy as a fundamental right, delivering the most secure communication experience across various industries. Our cutting-edge encryption technology and robust security measures have made us a trusted partner in the technology, finance, healthcare, and government sectors. If you are passionate about redefining secure communication...

ABOUT OUR COMPANY  We are an engineering organization. Our mission is to “Ship great software” and build custom, large-scale software platforms on time, on budget, on target and on quality.  In over two decades, we have never failed to deliver what we promised.  85% of our members are software engineers with a background in computer science, physics...

This position can be project-based, part-time or full-time based on your interests and our needs. We’re looking for a Security or Cryptography Researcher & Engineer to join our team. You could be a software engineer, computer scientist, or mathematician who is interested in doing security research and engineering for advanced applied cryptography,...

Company DescriptionScalors GmbH, a software outsourcing company based in Germany with development centers in Lisbon and Kiev, is looking for an RTS Software Engineer to join highly qualified team, a provider of web-based trading technology for OTC in Frankfurt/Main (Germany).Job DescriptionAs part of the RTS Team (“Run the System”) you are responsible...

Your team: We believe in Internal Open Source because it cultivates a strong spirit of collaboration and fast evolution while maintaining a high standard of quality. This way of working is made possible by using the universal language JavaScript, specifically, React, React Native and NodeJS. We also utilise Elixir in the reasoning engine used to write our...

ABOUT OUR COMPANY We are an engineering organization. Our mission is to “Ship great software” and build custom, large-scale software platforms on time, on budget, on target and on quality.  In over two decades, we have never failed to deliver what we promised.  85% of our members are software engineers with a background in computer science, physics...

**APPLY DIRECTLY HERE:** https://t.mercor.com/ltxOi **Role Overview** A leading AI lab is seeking Formal Mathematicians, Proof Engineers, and Lean Experts to help teach frontier AI models to state and prove mathematics correctly. In this highly specialized role, you will write and review Lean 4 proofs, translate informal natural-language mathematics into...