We study a mathematical model which describes the antiplane shear deformations of a cylinder in frictional contact with a rigid foundation. The process is static, the material behavior is described with a linearly elastic constitutive law and friction is modeled with a general slip dependent subdifferential boundary condition. We derive a variational formulation of the model which is in a form of a hemivariational inequality for the displacement field. Then we prove the existence of a weak solution to the model and, under additional assumptions, its uniqueness. The proofs are based on abstract results for operator inclusions in Banach spaces. Finally, we present concrete examples of friction laws for which our results are valid.