Tweag is a software innovation lab with a global team of thoughtful and friendly engineers, working together to build better software by applying mathematics, computer science and the methods of open source.
Our high-profile open source community projects and contributions are driven by experience helping deep tech startup clients quickly scale their engineering performance and execute on high-risk, high-reward projects with confidence.
We are big on composable software: functional, typed, immutable(e)In our client projects, we apply these principles to build efficient, reproducible and maintainable systems in complex industry sectors such as biotech, retail, finance and autonomous vehicles.
We're looking for engineers to join our software verification and audit team, which is applying formal methods to ensure critical software is working correctly, and sharing techniques and tools with the wider software community.
You would work either remotely (from almost any country), or on-site at our office in the centre of Paris(e)Most of our team works remotely, and has done since long before the pandemic.
Who are you?
You care about correctness and understand that real-world software is different from academic examples(e)You know the canon of formal methods techniques, which include your favorite proof-assistant, how to operate an SMT solver and your favorite model-checker(e)More broadly, you understand how these tools work from within and could work towards the implementation of domain-specific variants of those.
Your skill set will grow constantly with each new client project, so consider applying if you are inquisitive, willing to fail often and adapt quickly(e)You should be comfortable with feeling out of your depth and rapidly becoming an expert in a new field.
As an engineer at Tweag, you:
In addition, a typical formal methods engineer candidate:
What will you be doing?
Engineers at Tweag primarily work in small groups embedded in a client team, collaborating with the client’s engineers and each other(e)In parallel, Tweag engineers connect and collaborate with each other across project boundaries, teaching, learning and improving our many research and community projects.
As a Formal Methods engineer, especifically, you will be spending some of your time doing research with the rest of the group and some of your time on client projects(e)Client projects can vary from validating and auditing some code for a few weeks to developing high-assurance software from scratch(e)Our research interests are always growing and include smart-contract verification, language design for verifiable software, improvement of existing tools and infrastructure.
Benefits