Research Fellow in Proof Theory: Join the University of Birmingham’s School of Computer Science as a Research Fellow to contribute to the UKRI Future Leaders Fellowship project ‘StrIP: Structure vs Invariants in Proofs’ under the supervision of Dr. Anupam Das. The project focuses on developing the proof theory of ‘cyclic proofs’ and their connections to automata theory, with an emphasis on formalization in proof assistants.
Designation: Research Fellow
Research Area: Proof Theory, Type Theory, Automata Theory, Mathematical Logic
Location: Birmingham
Salary: £34,980 to £44,263 with potential progression to £46,974
Eligibility/Qualification:
- First degree in area of specialism
- Higher degree related to Logic (Computer Science, Mathematics, or Philosophy) or equivalent qualifications/experience
- Strong research record
- Expertise in proof theory or type theory
- Experience with proof assistants such as Coq, Agda, Lean is helpful
- Background in automata theory, particularly over infinite words and trees, is beneficial
- Background in mathematical logic, especially metamathematics, is beneficial
Job Description:
As a Research Fellow, you will: - Conduct research within specified research grants and projects
- Develop research objectives and proposals
- Contribute to writing bids for research funding
- Disseminate research findings for publication and seminars
- Supervise students on research-related work
- Contribute to public engagement activities
- Present research outputs at seminars and conferences
- Promote collaborative activities within the research group
How to Apply:
Interested candidates should submit their CV, cover letter, and contact details of two referees to Dr. Anupam Das via email: a.das@bham.ac.uk.
Last Date for Apply: 30th April 2024
https://www.facebook.com/share/p/9k5X1e5ijKwDZnYT/?mibextid=oFDknk
प्रा. डॉ. हरिदास जोगदनकर यांना मागील दहा वर्षापासून प्रलंबित असलेले वेतन आज पर्यंत मिळालेले नाही. याकरिता लोकसभा निवडणुक प्रचार 2024 या काळात मा. पंतप्रधान नरेंद्र मोदी यांचे समोर प्रा. डॉ. हरिदास जोगदनकर यांना जाहीरपणे फाशी देण्यात यावी.
Urgent Confidential Request Notice.
To.
1) The Hon’bl. President of India.
2) The Hon’bl. Prime Minister of India.
तुळजापूर तालुक्यातील अणदूरच्या जवाहर महाविद्यालयाचे प्रा. डॉ. हरिदास जोगदनकर यांना मागील दहा वर्षापासून प्रलंबित असलेले वेतन आज पर्यंत मिळालेले नाही. याकरिता पवित्र अशा लोकसभा निवडणुक प्रचार 2024 या काळात संबंधित जबाबदार अधिकाऱ्यानी मा. मधुकरराव चव्हाण शिक्षण प्रसारक मंडळ अणदूर या संस्थेचे माजी अध्यक्ष व माजी आमदार (Cong-I) तुळजापूर यांच्या हस्ते मा. पंतप्रधान नरेंद्र मोदी यांचे समोर प्रा. डॉ. हरिदास जोगदनकर यांना अणदूर मध्ये फाशी देण्यात यावी. यावरून महाराष्ट्रातील जनतेला गांधीवादी समाजसेवकांची काळी कार्य ओळखता येतील.
Facebook Link:-
https://www.facebook.com/groups/1379152369058556/permalink/2589610811346033/?mibextid=Nif5oz
YouTube Link:-
https://youtu.be/i-3XIVmgXD8
तुळजापूर तालुक्यातील अणदूरच्या जवाहर महाविद्यालयाचे प्रा. डॉ. हरिदास जोगदनकर यांनी मागील दहा वर्षापासून प्रलंबित वेतनासाठी स्वातंत्र्यदिनी दि. 15 ऑगष्ट 2023 रोजी भीक मागो आंदोलन केले, त्यावेळी अणदूरच्या एकाही दानशूर व्यक्तीने जोगवा किंवा भीक दिली नाही. यावरून महाराष्ट्रातील जनतेने गांधीवादी समाजसेवकांची कार्य ओळखावे. कृपया पुढील लिंक ओपन करा.
YouTube Link:-
https://youtu.be/i-3XIVmgXD8
Facebook Link:-
https://www.facebook.com/groups/1379152369058556/permalink/2589610811346033/?mibextid=Nif5oz
(Urgent Circulation Matter.)
(आंतरराष्ट्रीय स्तरावर, भारत देशाचे पंतप्रधान, राष्ट्रपती, उपराष्ट्रपती तसेच राज्यांचे राज्यपाल या पदावरील व्यक्तींना मरेपर्यंत फाशी देण्याचा कायदा तयार करावा.
At the international level, a Law should be made to hang the persons holding the posts of Prime Minister, President, Vice President and State Governors of India to death.)
To.
1) The Hon’bl. Secretary,
United Nations.
2) The Hon’bl. President of USA.
3) The Hon’bl. Prime Minister of England. (Great Britain)
4) The Hon’bl. President of India.
5) The Hon’bl. Prime Minister of India.
Subject:- The United Nations should take Appropriate Action against the Leaders of India who have done injustice to the people of the Backward Class Communities in India and The United Nations should kill the Backward Class Opposition Leaders in India by hanging them alive. (e.g. At the international level, a Law should be made to hang the persons holding the posts of Prime Minister, President, Vice President and State Governors of India to death.)
भारतातील मागासवर्गीय समाजातील लोकांवर अन्याय करणाऱ्या भारतातील नेत्यांवर संयुक्त राष्ट्रसंघाने योग्य ती कारवाई करून भारतातील मागासवर्गीय विरोधक नेत्यांना संयुक्त राष्ट्रसंघाने फाशी देऊन जिवंत मारावे.
(उदा: आंतरराष्ट्रीय स्तरावर, भारत देशाचे पंतप्रधान, राष्ट्रपती, उपराष्ट्रपती तसेच राज्यांचे राज्यपाल या पदावरील व्यक्तींना मरेपर्यंत फाशी देण्याचा कायदा तयार करावा.)
His/her Excellence Sir.
Firstly Noticed this :- The Continuous Injustice done to the Backward Class People and Workers is a disgrace to the Country of India. So in Order to Erase this Stigma, the State and Central Government should make different Experiments like Hitler Shahi to kill the Backward Class People alive and destroy their Existence. That means the Stigma attached to India will disappear.
Note:- मागासवर्गीय जनता व कर्मचारी यांच्यावर होणारे सततचे अन्याय हा भारत देशाला लागलेला कलंक आहे. तर हा कलंक पुसून काढण्यासाठी राज्य व केंद्र सरकारने हिटलर शाही प्रमाणे वेगवेगळे प्रयोग करून मागासवर्गीय जनतेला जिवंत मारून त्यांचे अस्तित्व नष्ट करण्यासाठी कायदा करावा. म्हणजे भारत देशाला लागलेला कलंक नाहीसा होईल.
To.
1) The Hon’bl President / Speaker.
House of Indian Parliament.
(Loksabha & Rajyasabha.)
New Delhi. 110001.
2) The Hon’bl President / Speaker.
State Legislative Assembly.
Maharashtra, Mumbai. 400032.
His/her Excellence Sir.
Grievance Application:-
Grievance Matter:- “Concerned administrative authorities should immediately deposit total Rs. 2,37,42,000/= (Rupees. Two Crores Thirty Seven Lack Forty Two Thousand Only) upto year end 31/03/2023 in the Bank account of the applicant”. Otherwise when Applicant deaths by Suicide or any other reasons then the Government of Maharashtra, Central Government of India and all Respondents are Responsible to Applicants Death.
Applicant: (Petitioner)
1) HARIDAS BABURAO JOGDANKAR
Son of Baburao Jogdankar.
Backward Class Scheduled Caste (SC) Community.
Assist. Professor.
Dept. of Commerce.
JAWAHAR ARTS SCIENCE & COMMERCE COLLEGE,
A/p. ANDUR, TA. TULJAPUR, DIST. OSMANABAD. 413603
VERSUS
(Grievance Against Upper Class Community Respondents)
1) THE SECRETARY / PRESIDENT
SHIKSHAN PRASARAK MANDAL,
ANDUR, Tal. TULJAPUR Dist. OSMANABAD. 413603
AND ANOTHER. ie. 2, 3, 4, 5, & 6 respectively
2) Smt. Anita Kashinath Mudkanna.
Former Principal,
JAWAHAR ARTS SCIENCE & COMMERCE COLLEGE
ANDUR TA. TULJAPUR DIST. OSMANABAD. 413603.
3) Shri. Umakant B. Chanshetti.
Existing Principal,
JAWAHAR ARTS SCIENCE & COMMERCE COLLEGE
ANDUR TA. TULJAPUR DIST. OSMANABAD. 413603.
4) Shri. Mallinath M. Langade.
Voice. Principal.
JAWAHAR ARTS SCIENCE & COMMERCE COLLEGE
ANDUR TA. TULJAPUR DIST. OSMANABAD. 413603.
5) Shri Ramchandra B. Alure.
Chairman School & College Development Committee
to SHIKSHAN PRASARAK MANDAL, ANDUR,
Tal. TULJAPUR Dist. OSMANABAD. 413603.
6) Shri. Laxmikant C. Patil.
Advocate & Member of School & College Development Committee
to SHIKSHAN PRASARAK MANDAL, ANDUR,
Tal. TULJAPUR Dist. OSMANABAD. 413603.
Flat No. 202, Plot No. 30, Harmony Heritage,
Cidco Colony Aurangabad. 431003
7) Prof. Bhalchandra Birajdar.
Head of Dept. Geotech Engineering
College of Engineering Pune. and
Member of School & College Development Committee
to SHIKSHAN PRASARAK MANDAL, ANDUR,
Tal. TULJAPUR Dist. OSMANABAD. 413603.
Respected Sir,
As per sited subject Concerned administrative authorities should immediately deposit total Rs. 2,37,42,000/= (Rupees. Two Crores Thirty Seven Lack Forty Two Thousand Only) upto year end 31/03/2023 in the Bank account of the applicant”.
When Applicant deaths by Suicide or any other reasons then the Government of Maharashtra, Central Government of India and all Respondents are Responsible to Applicants Death. Otherwise Give Applicants Salary payment of 34 Months Court litigation period within as early as possible.
Either Prime Minister of India, should kill me by a gun or All Respondents should kill to Applicant by hanging, so all Problems in front of applicant will be solved. Applicant requested to all Concern Authorities/ Respondents for Demanding his Salary from Joint Director, Higher Education Maharashtra State, Division Aurangabad. Otherwise Respondents should kill to applicant by hanging, so all Problems in front of applicant will be solved or Prime Minister of India, should kill applicant by a gun.
When Applicant deaths by Suicide or any other reasons then Government of Maharashtra, Government of India and all Respondents are Responsible to Applicants Death. Otherwise Give Applicants Salary payment of 34 Month’s Court litigation period within Stipulated time. For Solving all of applicants Problems Hon. Prime Minister of India, they shoot me/applicant with gunshot bullets.
All the upper Class administrative officers related to Jawahar Arts Science and Commerce College had told the applicant to deposit the pending salary along with interest in the Backward Class Community ie. Scheduled Caste (SC) applicant’s bank account till 31st March 2023 as per the court order. The Backward Class Community ie. Scheduled Caste (SC) applicant was requested and threatened not to lodge any complaint against the Jawahar Arts Science and Commerce college with NAAC till then. But all the concerned upper Class administrative officers of Jawahar Arts Science and Commerce College have not deposited the pending salary due to the applicant in the bank account of the applicant till 31st March 2023. Therefore, the said complaint application has to be submitted to NAAC.
However, considering this application, it is requested that the concerned administrative authorities of the Jawahar Arts Science and Commerce college should immediately deposit Rs. 2,11,98,220/= (Rupees. Two Crores Eleven Lack Ninety Eight Thousand Two Hundred Twenty Only) plus 12% interest total Rs. 2,37,42,000/= (Rupees. Two Crores Thirty Seven Lack Forty Two Thousand Only) upto year end 31/03/2023 in the Bank account of the applicant.
जवाहर कला शास्त्र व वाणिज्य महाविद्यालयाशी संबंधित असलेले सर्व उच्चवर्णीय प्रशासकीय अधिकारी यांनी 31 मार्च 2023 पर्यंत मागासवर्गीय अनुसूचित जाती (एससी) संवर्गातील अर्जदाराच्या कोर्ट ऑर्डर प्रमाणे प्रलंबित वेतन व्याजासह अर्जदाराच्या बँक खात्यात जमा करतो म्हणाले होते. तोपर्यंत जवाहर कला शास्त्र व वाणिज्य महाविद्यालयाच्या विरोधात कोणत्याही प्रकारची तक्रार नॅक कडे करू नका असे मागासवर्गीय अनुसूचित जाती (एससी) संवर्गातील अर्जदारास विनंती वजा धमकावले होते. परंतु जवाहर कला शास्त्र व वाणिज्य महाविद्यालयाच्या संबंधित उच्चवर्णीय प्रशासकीय सर्व अधिकारी यांनी 31 मार्च 2023 पर्यंत अर्जदाराच्या बँक खात्यात अर्जदाराचे येणे असलेले प्रलंबित वेतन जमा केले नाही. म्हणून सदरचा तक्रार अर्ज नॅक कडे करावा लागत आहे.
तरी ह्या अर्जाचा विचार करून जवाहर कला शास्त्र व वाणिज्य महाविद्यालयाच्या संबंधित प्रशासकीय अधिकाऱ्यांनी रुपये 2,11,98220/= (रुपये दोन कोटी अकरा लाख आठ्यांनव हजार दोनशे वीस फक्त) अधिक बारा टक्के व्याजासह रुपये 2,37,42,000/= (रुपये दोन कोटी सदतीस लाख बेचाळीस हजार फक्त) दी. 31/03/2023 पर्यंत तातडीने अर्जदाराच्या बँक खात्यात जमा करावेत ही विनंती.
From:
Yours Faithfully:
Applicant / Complainant.
HARIDAS BABURAO JOGDANKAR
S/o BABURAO JOGDANKAR
Backward Class Scheduled Caste (SC) Community.
Assist. Professor.
Dept. of Commerce.
JAWAHAR ARTS SCIENCE & COMMERCE COLLEGE,
A/p. ANADUR, TA. TULJAPUR, DIST. OSMANABAD. 413603
Applicant’s Personal Friendship Relations on Facebook, email & Messenger with
(1) Hon’bl. Ramnath Kovind, President of India.
(2) Hon’bl. Pranab Mukherjee, former President of India.
(3) Hon’bl. Donald Trump, President of USA.
(4) Hon’bl. Bill Clinton, former President of USA.
(5) Hon’bl. Barac Obama, former President of USA.
(6) Hon’bl. Bill & Melinda Gates, Software Scientist of USA.
(7) Hon’bl. Hilary Clinton, former Presidential Candidate in USA.
Copy Forwarded To upper Class Community.
1) NAAC Co-ordinator,
JAWAHAR ARTS SCIENCE & COMMERCE COLLEGE ANDUR
TA. TULJAPUR DIST. OSMANABAD. 413603.
principal.jascca@gmail.com,
2) THE SECRETARY / PRESIDENT
SHIKSHAN PRASARAK MANDAL, ANDUR,
Tal. TULJAPUR Dist. OSMANABAD. 413603
principal.jascca@gmail.com,
3) Shri Ramchandra B. Alure.
Chairman School & College Development Committee
to JAWAHAR ARTS, SCIENCE & COMMERCE COLLEGE ANDUR
Tal. TULJAPUR Dist. OSMANABAD. 413603.
principal.jascca@gmail.com,
4) Shri. Laxmikant C. Patil.
Advocate & Member of School & College Development Committee
to JAWAHAR ARTS, SCIENCE & COMMERCE COLLEGE ANDUR
Tal. TULJAPUR Dist. OSMANABAD. 413603.
principal.jascca@gmail.com,
5) Staff Secretary.
JAWAHAR ARTS, SCIENCE & COMMERCE COLLEGE ANDUR
Tal. TULJAPUR Dist. OSMANABAD. 413603.
principal.jascca@gmail.com,
Please Download Enclosed PDF Documents.