Lincheck is a framework for testing concurrent code on the JVM. It generates concurrent scenarios, explores thread interleavings via stress testing or bounded model checking, and verifies results against a correctness property.
Recent versions (3.x) expanded Lincheck beyond data-structure testing to arbitrary concurrent code, introducing a new API and other improvements.
You'll audit and update the Lincheck docs on kotlinlang.org to reflect current 3.x APIs, improve onboarding, and add practical examples. You'll work closely with technical writers, developers, and other experts across teams.
Strong written and spoken English.
Attention to detail and a passion for making complex concepts easy to understand.
Basic knowledge of Kotlin or Java, Git, Gradle.