We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through Ai Works average a 15% increase in salary 🚀

You will be redirected back to this page right after signin

Software Verification and Audit Engineer

Remote | Worldwide

22 January, 2022

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • GitHub
  • Git
  • Docker
  • formal verification
  • CI/CD
  • Formal Methods
  • Testing
  • isabelle
  • Nix
  • Coq
  • GitLab
  • Agda

Benefits & perks

  • Remote working
  • Flexible working
  • Health insurance
  • 401(k) matching
  • Paid leave
  • Book budget
  • Equipment budget
  • International team
  • Travel expense to visit paris office
  • Weekly knowledge sharing session
Software Verification and Audit Engineer

Role overview

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. 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. 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. 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. 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. 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:

  • work autonomously, organising and clearly communicating your plans,
  • cultivate good relationships with clients and with colleagues,
  • identify and quickly learn new skills and techniques needed to work in new areas,
  • value high-quality and elegant software (and proofs!)
  • enjoy using principles from one area to help solve problems in another,
  • can explain, document, and discuss complex topics,
  • are highly competent in at least one programming language (we favour strongly typed functional languages),
  • have a good understanding of developer tools and techniques such as Git, GitHub/GitLab, CI, testing, Docker, Nix.

In addition, a typical formal methods engineer candidate:

  • is highly competent in at least one proof assistant (Agda, Coq, Isabelle, etc) 
  • is knowledgeable of some modelling language and/or model checkers (TLA+, SPIN, NuSMV, mCRL2, Alloy, …)
  • can identify and contribute to writing up potential research papers that spin out of client projects.
  • can efficiently and independently navigate the relevant literature when studying a domain or technique to solve some new challenge.

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. 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. Client projects can vary from validating and auditing some code for a few weeks to developing high-assurance software from scratch. Our research interests are always growing and include smart-contract verification, language design for verifiable software, improvement of existing tools and infrastructure.

Benefits

  • The chance to work on interesting problems and work with and learn from amazing people,
  • a flexible work environment, based either remotely or in our Paris office,
  • the opportunity to work on your own innovative projects, if they align with Tweag’s goals,
  • support to grow into other specialist areas.
  • 50-249

Tweag is a software innovation lab that helps deep tech startups quickly scale their engineering performance and execute on high-risk, high-reward projects with confidence. We find the best wherever they live, to build better software by applying mathematics, computer science and the methods of open source. Our core engineering mantras: functional, typed, immutable. These are the key technologies for composable software. We build parts as functions, because functions compose where objects do not. We use types to describe functions, because one type is worth a thousand out-of-date comments. We keep data immutable, because immutability lets us focus on the business logic holistically without getting bogged down by hundreds of corner cases. Tweag is a major proponent and contributor to new ways of building composable software. We are active contributors to GHC, have full-time researchers on staff to fund new language features (like linear types and dependent types), instigated the creation of the Haskell Foundation, and created many new libraries and tools in Haskell. We are the top contributors to Nix and were the first to be labeled Bazel Community Expert, because we’re passionate about the impact of great developer tools.

View 8 jobs
Engineers who find a new job through Ai Works average a 15% increase in salary.

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • GitHub
  • Git
  • Docker
  • formal verification
  • CI/CD
  • Formal Methods
  • Testing
  • isabelle
  • Nix
  • Coq
  • GitLab
  • Agda

Benefits & perks

  • Remote working
  • Flexible working
  • Health insurance
  • 401(k) matching
  • Paid leave
  • Book budget
  • Equipment budget
  • International team
  • Travel expense to visit paris office
  • Weekly knowledge sharing session

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Ai Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Ai Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email
Software Verification and Audit Engineer