پایان نامه در مورد formal methods and software verification

[rima2x]

سلام دوستان
میخواستم واسه تز ارشدم تو زمینه formal methods and software verification کار کنم میخواستم بدونم واسه دکتری که میخوام apply کنم تو این فیلد زمینه پذیرش دادن چطوریه؟! جای کار و مقاله دادن چی؟
ممنون میشم راهنماییم کنید.

[mhmhmh]

به نظرم واضحه که خیلی از دانشگاه ها! خیلیشون!! تو این field کار میکنند. ولی لازمه اش اینکه با functional programming و زبان هایی مثل Haskell، OCaml کار کرده باشید

[maryam_3]

سلام دوستان
میخواستم واسه تز ارشدم تو زمینه formal methods and software verification کار کنم میخواستم بدونم واسه دکتری که میخوام apply کنم تو این فیلد زمینه پذیرش دادن چطوریه؟! جای کار و مقاله دادن چی؟
ممنون میشم راهنماییم کنید.

سلام دوست عزیز
پایان نامه من هم دقیقا در همین زمینه بود، این گرایش چون تئوری کامپیوتر هست، نسبت به گرایش های دیگه که کاربردی تر هستن، پوزیشن دکترا (در اروپا) براش کمتره، البته خوب در کشورهای دیگر خیلی بیشتر از ایران رو این زمینه کار انجام میشه. در مورد امریکا هم پیدا کردن fund براش به سادگی رشته های کاربردی تر نیست. نه اینکه نشه ولی برای رشته های کاربردی تر تو رشته کامپیوتر خیلی راحت تر میشه fund گرفت.
در مورد مقاله هم، اگر واقعا وقت و انرژی بزاری به نظر من راحت تر از زمینه های دیگر میتونی مقاله معتبر داشته باشی، چون مبنای کار ریاضیات و منطق هست و کار انجام شده در مقاله یک دلیل و استنتاج منطقی داره و وقتی کارت اثبات منطقی داشته باشه کسی نمیتونه کارت رو رد کنه.
در مورد کار هم، چون یک زمینه ای هست که تو مقاطع پایین نمیشه روش کار کرد، با مدرک دکترا می تونید همون کار formal verification و یا کار research انجام بدید.
به هر حال من خودم به شخصه چون به این زمینه علاقه داشتم کم بودن پوزیشن و مسائل از این قبیل رو پذیرفتم.

[maryam_3]

به نظرم واضحه که خیلی از دانشگاه ها! خیلیشون!! تو این field کار میکنند. ولی لازمه اش اینکه با functional programming و زبان هایی مثل Haskell، OCaml کار کرده باشید

دوست گرامی
من تا حالا نشنیدم لازمه کار در این زمینه بلد بودن functional programming باشه. چون functional programming بر پایه logic هست، بلد بودنش شاید بتونه کمک کنه ولی مطمئنا لازمه اش نیست.