شخصی از اتباع بیگانه به عنوان کارشناس فنی خارجی در مرکز اسناد کتابخانه مرکزی دانشگاه تهران مشغول کار بوده و در آستانه بازنشستگی می باشد با توجه به این که نامبرده دارای پروانه کار معتبر و دفترچه بیمه تأمین اجتماعی است مورد سئوال این که آیا مشارالیه را می توان مشمول قانون کار و مقررات تبعی آن دانست یا این که وی مشمول قانون استخدام کشوری می باشد و در صورت شمول قانون کار به تبعه بیگانه فوق موارد زیر نیز مورد استعلام است ؟
1- آیا پاداش پایان بازنشستگی و مزایای بازنشستگی به نامبرده تعلق می گیرد؟
2- آیا مزایای مشمولین قانون کار مانند کمک هزینه ازدواج ؛ حق مسکن؛ بن خواربار و غیره به نامبرده تعلق می گیرد ؟
3- آیا نامبرده مشمول پرداخت فوق العاده ها مانند سختی کار و غیره نیز می شود یا خیر ؟