<div dir="ltr"><div>Dear Colleagues,</div><div><br></div>Harley Eades of the Granule Project and Augusta University's ForML Lab<br>is actively seeking applications for a PhD student starting Fall 2021.<br>The successful applicant will be funded--including tuition, salary,<br>and (international) conference travel--for the first three years of<br>their appointment through a new NSF funded project:<br><br>"Semantically and Practically Generalizing Graded Modal Types"<br><br>A short overview of the main goals of this project is as follows:<br><br>"We propose to investigate the theory and practice of graded modal<br>types with the goal of combining and generalizing type-based software<br>verification and data-usage tracking, thereby extending the<br>verification abilities of type systems. To carry out this research we<br>plan to:<br><br>1. investigate a new foundational theory for graded modal types based<br>   on the underlying theory of constructive modal logics that will<br>   support several new kinds of data-usage tracking making them more<br>   applicable to real-world problems.<br><br>2. design and implement Tenli; a general purpose functional<br>   programming language with graded modal types that supports general<br>   type-based software verification;<br><br>3. design new pedagogical materials for teaching resourceful software<br>   verification at both the undergraduate and graduate levels using<br>   Tenli, and other tools."<br><br>The successful applicant will be advised by Harley Eades, but also<br>collaborate with Dominic Orchard and his students in the Granule<br>Project.  In addition, they will have the opportunity to help mentor<br>summer undergraduate research assistants through new collaborations<br>with:<br><br>- Clark Atlanta: A historically black university, and<br>- Wesleyan College: An all women's school in Georgia.<br><br>This is also an exciting time to join the ever growing Augusta<br>University who has made Computer Science one of the main pillars of<br>their university.  We have successfully recruited ten new faculty (at<br>all ranks) per year for the last three years.  Fall 2021 marks the<br>inaugural year of our PhD program (<a href="http://shorturl.at/gDTU9">shorturl.at/gDTU9</a>) and the<br>successful applicant will be among the first PhD students in Computer<br>Science at our university.  <br><br>Even though this is the inaugural year of our PhD program Harley Eades<br>has mentored and collaborated with several PhD students over the<br>course of the last six years.  As part of a different NSF funded<br>project Harley Eades recruited and collaborated with three PhD<br>students from other universities through stipends.  In addition, he<br>actively collaborates with and has helped mentor PhD students working<br>with Dominic Orchard.  Finally, Harley Eades is an active SIGPLAN<br>Mentor (<a href="https://www.sigplan.org/LongTermMentoring/">https://www.sigplan.org/LongTermMentoring/</a>) of one PhD<br>student.<br><br>Interested students should meet the following properties:<br><br>- Be interested in the overall project as stated above. <br><br>- Have or are about to complete a Bachelor of Science in Computer<br>  Science or a related field (Computer Engineering, Information<br>  Systems, Software Engineering, Mathematics, etc.).<br><br>- Have a minimum cumulative GPA of 3.0 or better on a 4.0 scale.<br><br>- Both national and International applicants are welcome.<br><br>If you are interested in applying for this opportunity please begin by<br>contacting Harley Eades (<a href="mailto:harley.eades@gmail.com">harley.eades@gmail.com</a>) with the following<br>information:<br><br>- A brief introduction of yourself and if you've done any research<br>  already.<br><br>- CV/Resume<br><br>More information:<br><br>- Harley Eades: <a href="https://metatheorem.org/">https://metatheorem.org/</a><br>- Granule Project: <a href="https://granule-project.github.io/">https://granule-project.github.io/</a><br>- ForML Lab: <a href="https://the-au-forml-lab.github.io/index.html">https://the-au-forml-lab.github.io/index.html</a><br>- AU PhD Program: <a href="https://www.augusta.edu/ccs/phd-ccs.php">https://www.augusta.edu/ccs/phd-ccs.php</a><br><br>Thanks, Harley Eades<br></div>