For job seekers
Create your profileBrowse remote jobsDiscover remote companiesJob description keyword finderRemote work adviceCareer guidesJob application trackerAI resume builderResume examples and templatesAI cover letter generatorCover letter examplesAI headshot generatorAI interview prepInterview questions and answersAI interview answer generatorAI career coachFree resume builderResume summary generatorResume bullet points generatorResume skills section generatorRemote jobs MCPRemote jobs RSSRemote jobs APIRemote jobs widgetCommunity rewardsJoin the remote work revolution
Join over 100,000 job seekers who get tailored alerts and access to top recruiters.
Formal Sciences students delve into the foundational principles of logic, mathematics, and computation, developing rigorous analytical and problem-solving skills crucial for innovation across virtually every sector. This path equips you to build theoretical frameworks and models that underpin advancements in technology, finance, and scientific research. It is a unique journey focused on abstract reasoning and proof, preparing you for roles that demand precision and deep intellectual inquiry.
Range: Salary ranges for "Formal Sciences Student" are not applicable as it is a field of study. However, graduates typically command competitive salaries, with entry-level positions often starting from $60,000 USD and experienced professionals earning well over $150,000 USD in related fields like data science, software engineering, and quantitative finance.
Upgrade to Himalayas Plus and turbocharge your job search.
Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!
Sign up now and join over 100,000 remote workers who receive personalized job alerts, curated job matches, and more for free!
Bachelor's degree in Mathematics, Computer Science, Statistics, or a related formal science discipline is standard. Many advanced roles, particularly in research or specialized data science, require a Master's or Ph.D. Professional certifications in specific applications like data analytics or actuarial science can also enhance career prospects.
A Formal Sciences Student is an individual dedicated to the rigorous study of abstract systems, primarily focusing on mathematics, logic, theoretical computer science, and statistics. This role involves developing a deep understanding of foundational principles, axioms, and theorems, and applying logical reasoning to construct proofs and solve complex problems. Unlike applied scientists who focus on empirical observation, formal scientists build knowledge through deductive reasoning and abstract modeling.
This role differs significantly from an Applied Sciences Student, who might focus on how scientific principles apply to real-world phenomena, or an Engineering Student, who designs and builds practical solutions. The Formal Sciences Student is concerned with the underlying structures, consistency, and implications of logical systems, rather than their immediate practical application, though their work often forms the theoretical bedrock for advancements in technology, engineering, and other scientific fields.
A formal sciences student primarily works in academic settings, including university classrooms, lecture halls, and quiet library spaces. Much of their time involves independent study and problem-solving, often in solitary environments. However, collaboration is also key; students frequently engage in study groups, attend office hours with professors, and participate in peer-to-peer learning sessions. The pace of work is often intense and self-driven, requiring significant discipline and perseverance to tackle challenging abstract concepts. While the work is largely cerebral, it demands long hours of focused effort. Remote learning environments are increasingly common, allowing for flexible study, but in-person interaction remains valuable for collaborative problem-solving and discussions.
Formal sciences students primarily use tools that facilitate abstract thinking and problem-solving. Their core 'tools' include pen and paper for working through proofs and equations, along with whiteboards for collaborative problem-solving. They regularly utilize textbooks, academic journals, and online educational platforms for research and learning. For computational tasks, students often employ programming languages like Python or R, alongside specialized mathematical software such as MATLAB, Mathematica, or Maple, to visualize data, perform simulations, or verify complex calculations. Version control systems like Git may be used for managing code in computational projects. They also rely on LaTeX for typesetting academic papers and presentations, ensuring precise mathematical notation.
A Formal Sciences Student navigates a rigorous academic path focused on abstract systems, logic, and quantitative reasoning. This field includes mathematics, statistics, computer science (theoretical aspects), logic, and systems theory. Success in this role demands a strong foundation in foundational concepts and a deep capacity for analytical thought. The emphasis shifts from rote learning to understanding underlying principles and problem-solving methodologies.
Requirements for a Formal Sciences Student vary significantly by academic level and chosen specialization. Undergraduate programs prioritize a broad understanding of core formal disciplines, developing fundamental problem-solving skills. Graduate studies, conversely, demand highly specialized knowledge, often requiring original research and advanced theoretical contributions. The prestige and focus of the institution also influence the depth of required theoretical understanding versus applied skills.
While formal education is paramount for a Formal Sciences Student, practical experience through research projects, internships, or participation in academic competitions significantly enhances a student's profile. Certifications are less common in pure formal sciences but can be valuable in applied sub-fields like data science or quantitative finance. The skill landscape continuously evolves, with increasing demand for interdisciplinary knowledge, particularly at the intersection of mathematics, statistics, and computational methods. Balancing breadth of foundational knowledge with depth in a specific area is crucial for long-term career success.
Entering the formal sciences as a student involves diverse pathways, from traditional university degrees to self-directed learning and specialized bootcamps. A bachelor's degree in a quantitative field like mathematics, statistics, computer science, or physics remains a primary route, providing a strong theoretical foundation. However, career changers or those seeking faster entry can explore intensive online courses or certificate programs that focus on applied skills. The timeline for entry varies significantly; a full degree might take four years, while a focused certificate could prepare someone in 6-12 months for entry-level analytical roles. Geographic location and industry also influence opportunities; major research hubs or tech-heavy cities often have more openings, but remote work expands possibilities.
Many people misunderstand that formal sciences are solely about theoretical research; in reality, many roles involve practical application in data analysis, algorithm development, or quantitative modeling across various industries. While academic publications and advanced degrees are crucial for research positions, entry-level roles often prioritize strong problem-solving abilities and practical project experience over extensive academic credentials. Building a robust portfolio of projects demonstrating analytical skills is often more impactful than just a degree alone, especially for applied roles. Networking with professionals in the field, attending virtual seminars, and seeking mentorship can open doors to internships and entry-level positions that are not always publicly advertised.
The hiring landscape increasingly values interdisciplinary skills, where formal science students can apply their logical rigor to complex real-world problems in finance, technology, or healthcare. Overcoming barriers to entry often means actively seeking out practical experiences like internships or open-source contributions to bridge the gap between theoretical knowledge and industry demands. Companies are looking for individuals who can not only understand complex mathematical concepts but also translate them into actionable insights or functional systems. Your chosen path should align with your long-term career aspirations, whether in research, industry, or academia, as each demands a slightly different emphasis on theoretical depth versus applied skills.
A Formal Sciences Student focuses on disciplines like mathematics, logic, theoretical computer science, and statistics. These fields emphasize abstract structures, logical reasoning, and quantitative analysis, often serving as foundational knowledge for many STEM careers. Educational pathways for this role vary significantly, from traditional university degrees to specialized online courses and self-study, depending on the specific area of formal sciences a student pursues.
Four-year bachelor's degrees in Mathematics, Computer Science (Theoretical), or Statistics typically cost $40,000-$100,000+ for in-state tuition at public universities, and significantly more at private institutions. These programs provide a deep theoretical foundation, usually taking four years to complete. Master's and Ph.D. programs, which are essential for research-oriented or academic roles, add another 2-6 years and can incur substantial costs, though many graduate programs offer funding or stipends. University credentials hold strong market perception and are often prerequisites for advanced roles or academic positions.
Alternative learning paths, such as specialized online courses or self-study, can be significantly less expensive, ranging from free resources to several hundred dollars per course. These options require strong self-discipline and typically take 6-18 months to build foundational skills. While they do not provide a formal degree, they are valuable for supplementing university education or exploring specific sub-fields. Employers in applied fields often value practical problem-solving skills and a strong portfolio of projects, which can be developed through self-study or online courses, alongside theoretical knowledge. Continuous learning through advanced courses or workshops is crucial for staying current in these rapidly evolving fields.
Compensation for Formal Sciences students varies significantly, influenced by academic level, institution type, and funding sources. Geographic location plays a crucial role; students in high cost-of-living areas or major research hubs often receive higher stipends or wages. Prestigious universities and those with large research grants may offer more competitive packages.
Experience, while limited for students, refers to prior research involvement or academic achievements that can lead to better funding opportunities. Specialization within formal sciences, such as pure mathematics, theoretical computer science, or logic, can also influence the availability and amount of funding. Total compensation often extends beyond base stipends, including tuition waivers, health insurance, and professional development allowances. Some programs may offer performance-based bonuses for research milestones or publications.
Industry collaborations or specific grant projects might provide additional income. Remote work is less common for students, as on-campus presence is often required for coursework and research facilities. International students should note that these figures are typically for the United States, and global variations in funding and cost of living can be substantial.
| Level | US Median | US Average |
|---|---|---|
| Undergraduate Formal Sciences Student | $12k USD | $15k USD |
| Graduate Formal Sciences Student | $28k USD | $30k USD |
| PhD Candidate in Formal Sciences | $33k USD | $35k USD |
| Postdoctoral Researcher in Formal Sciences | $58k USD | $60k USD |
The job market for Formal Sciences students is unique, focusing primarily on academic and research opportunities during their studies. Demand is driven by ongoing research initiatives, university funding, and the need for highly skilled individuals in theoretical fields. While not a traditional job market, the availability of student positions, research assistantships, and fellowships is tied to broader trends in scientific funding and higher education.
Growth outlook is stable, particularly for those pursuing advanced degrees, as these fields underpin many technological and scientific advancements. Emerging opportunities include interdisciplinary research, especially at the intersection of formal sciences with AI, data science, and quantum computing. These areas are creating new demands for theoretical rigor and problem-solving skills.
Supply and demand dynamics are generally balanced for highly qualified candidates, though competition for top-tier programs and competitive funding can be intense. Automation and AI are not expected to directly impact student roles negatively; instead, these technologies are often subjects of study within formal sciences, creating new research avenues. The profession is largely recession-resistant as academic research and education maintain consistent funding, albeit with occasional fluctuations.
Geographic hotspots for Formal Sciences students align with major research universities and national laboratories. Continuous learning and adaptability to new computational tools and theoretical frameworks are essential for future success in this field.
Career progression for a Formal Sciences Student primarily involves advancing through academic degrees, culminating in specialized research and potentially leading to academic or industry roles. The path is highly structured around educational milestones and research output.
Advancement speed depends on academic performance, research productivity, and the rigor of chosen institutions. While a traditional individual contributor (IC) track in academia involves becoming a professor, a management track might involve leading research labs or academic departments. Lateral movements often occur after completing a PhD or postdoctoral work, transitioning from academia to roles in data science, quantitative finance, or technology, where formal sciences skills are highly valued.
Company size, industry, and economic conditions significantly influence post-academic career options. Startups might offer immediate application of skills, while larger corporations provide structured research environments. Networking with faculty, peers, and industry professionals, alongside securing strong mentorship, becomes crucial for opening doors to research opportunities and future employment. Field-specific achievements like publications in top journals and successful grant applications mark significant progression.
Engage in coursework, complete assignments, and participate in examinations to build a strong theoretical foundation. Work under direct supervision of professors and teaching assistants. Decisions are typically limited to course selection and study methods.
Develop foundational knowledge in core formal sciences disciplines like mathematics, logic, theoretical computer science, and statistics. Focus on strong problem-solving abilities and analytical thinking. Begin exploring different specializations through elective courses and introductory research projects.
Ace your application with our purpose-built resources:
Proven layouts and keywords hiring managers scan for.
View examplesPersonalizable templates that showcase your impact.
View examplesPractice with the questions asked most often.
View examplesReady-to-use JD for recruiters and hiring teams.
View examplesFormal Sciences Student is a unique international role focused on academic pursuit rather than direct employment. This involves studying disciplines like mathematics, computer science, logic, and statistics globally. International opportunities exist through exchange programs, research collaborations, or pursuing degrees abroad. Regulatory differences impact credit transfers and degree recognition. Students consider international study for specialized programs, research opportunities, and diverse academic environments. While no specific 'certifications' apply, strong academic records and language proficiency facilitate global mobility.
Formal Sciences Students do not earn a 'salary' in the traditional sense; instead, they often receive stipends, scholarships, or research grants. In North America, PhD students in formal sciences might receive stipends ranging from $25,000 to $40,000 USD annually, often tax-free, covering tuition and living expenses. This varies by institution and grant funding.
European universities, particularly in countries like Germany or the Netherlands, offer grants or paid PhD positions. These can range from €1,500 to €2,500 monthly (approximately $1,600-$2,700 USD), often subject to local taxes. Asia-Pacific regions, such as Singapore or Australia, provide scholarships covering tuition and living allowances, typically between $1,800-$2,500 USD per month. Latin American countries might offer more modest stipends, often tied to research projects, ranging from $500-$1,000 USD monthly.
Purchasing power parity is crucial. A lower stipend in a country with a low cost of living might offer a similar quality of life to a higher stipend in an expensive city. For instance, a $25,000 USD stipend in a mid-sized US city might be comparable to €1,800 in parts of Eastern Europe after considering housing and daily costs. International students must also factor in health insurance, which can be a significant cost not always fully covered by stipends. Some programs include health benefits, while others require students to purchase their own. Tax implications vary significantly by country; some stipends are considered non-taxable income, while others are subject to standard income tax rates for residents or non-residents.
International remote work for a Formal Sciences Student primarily involves online coursework, virtual research collaboration, or distance learning programs. Many universities offer fully online degrees or hybrid models, allowing students to study from their home country. However, hands-on lab work or specific research facilities often require physical presence.
Legal and tax implications arise if a student is officially enrolled in one country but resides in another. This can affect residency status, scholarship eligibility, and tax obligations. Time zone differences can pose challenges for synchronous classes or team meetings. Digital nomad visas are generally not applicable to students unless they also engage in independent, location-independent work. Most remote students maintain residency in their home country. Universities are increasingly adapting to global hiring for remote teaching assistants or researchers, but these are typically part-time roles. Salary expectations for remote student work are generally lower than full-time employment, often structured as hourly pay or project-based stipends. Reliable internet and a dedicated workspace are essential for success in this remote academic environment.
Formal Sciences Students seeking international study typically require a student visa. Popular destinations include the USA (F-1 visa), Canada (Study Permit), UK (Student visa), Germany (National visa for study purposes), and Australia (Student visa subclass 500). Requirements generally include proof of admission, sufficient funds, and intent to return home after study. Education credential recognition is usually handled by the admitting university. Some countries, like Germany, might require a blocked account as proof of funds.
Visa timelines vary from a few weeks to several months. English language proficiency tests, like IELTS or TOEFL, are often mandatory for non-native speakers. Pathways to permanent residency usually involve transitioning from a student visa to a post-study work permit, then to a skilled worker visa, often requiring a job offer in a related field. For instance, in Canada, the Post-Graduation Work Permit allows graduates to gain work experience. Some countries offer faster routes for highly skilled graduates in STEM fields. Spouses and dependents can often apply for dependent visas, allowing them to accompany the student and sometimes work. Students must ensure their visa allows for any part-time work or research assistantships they plan to undertake.
Understanding current market conditions is paramount for formal sciences students. The landscape for these highly analytical disciplines has transformed dramatically from 2023 to 2025, driven by post-pandemic shifts and the accelerating AI revolution. Broader economic factors influence funding for research and development, directly impacting academic and industry roles.
Market realities vary significantly by the student's specific specialization within formal sciences, their practical skill set, and their geographic location. This analysis provides an honest assessment, helping students align their academic pursuits with real-world hiring trends and set realistic career expectations.
Formal sciences students face significant challenges translating academic knowledge into direct employment. Companies often seek specific skills like data analysis or programming, not just theoretical understanding. The market is saturated with candidates having general degrees, especially at entry levels, increasing competition for specialized roles.
Economic uncertainty and the rapid evolution of AI tools further complicate the job search, as some tasks previously requiring human analytical skills become automated.
Despite challenges, formal sciences students have significant opportunities by specializing in high-demand areas. Roles in AI research, machine learning engineering, quantitative analysis, and cybersecurity are experiencing strong growth. These positions value rigorous logical thinking and mathematical foundations.
Students can gain a competitive edge by mastering programming languages (Python, R, Julia), statistical modeling software, and machine learning frameworks. Combining a formal sciences background with practical data science or AI skills opens doors to emerging roles like AI ethicist or prompt engineer, which require deep understanding of logical systems and potential biases. Underserved markets exist in specialized consulting or niche FinTech companies seeking advanced analytical talent.
Strategic career moves involve pursuing internships in data-driven industries, contributing to open-source projects, and developing a portfolio of practical applications. The current market correction provides an opportunity for those with strong foundational skills to enter industries that are now more focused on efficiency and data-driven decision-making.
The job market for formal sciences students in 2025 shows a dichotomy. Purely theoretical roles are scarce, with demand shifting heavily towards applied quantitative skills. Employers prioritize candidates who can demonstrate practical application of their knowledge in fields like data science, machine learning, and quantitative finance.
Generative AI and advanced automation are reshaping expectations, requiring students to possess strong computational skills beyond traditional mathematical or logical reasoning. Companies now expect proficiency in programming languages like Python or R, alongside statistical software and big data platforms. Many roles that once required manual data manipulation or basic statistical analysis are now augmented or replaced by AI tools, pushing demand towards higher-level analytical and problem-solving capabilities.
Salary trends reflect this shift; roles requiring advanced programming and AI expertise command higher compensation, while opportunities for those with only foundational formal science knowledge are more limited. Geographically, major tech hubs and financial centers offer the most opportunities, though the normalization of remote work allows some flexibility for highly skilled individuals. However, competition for remote roles remains intense.
Technological advancement and the rapid evolution of scientific fields consistently create new specialization opportunities. For a Formal Sciences Student, understanding these shifts is crucial for positioning oneself at the forefront of future career paths. Early engagement with emerging areas, rather than merely focusing on established specializations, can significantly accelerate career advancement from 2025 onwards.
Specializing in cutting-edge domains often leads to premium compensation and enhanced career growth. These roles address novel challenges and require unique skill sets, making professionals in these areas highly sought after. While established specializations offer stability, emerging areas promise greater innovation and impact.
Many emerging areas take 3-5 years to transition from nascent concepts to mainstream demand, creating significant job opportunities. This timeline allows students to acquire necessary skills and knowledge effectively. However, pursuing cutting-edge specializations involves a balance of risk and reward; while potential gains are high, the landscape can shift rapidly, requiring continuous learning and adaptability.
This specialization focuses on applying advanced mathematical logic and theoretical computer science to ensure the correctness and reliability of complex software and hardware systems. With the increasing complexity of AI, autonomous systems, and critical infrastructure, formal verification is becoming indispensable. It involves proving that systems meet their specifications through rigorous mathematical methods, preventing catastrophic errors and vulnerabilities before deployment.
This area applies mathematical and logical principles to the analysis and design of secure cryptographic protocols and systems. As digital transactions, data privacy, and cybersecurity threats escalate, the need for robust, formally proven cryptographic solutions is paramount. Specialists in this field work on developing new cryptographic primitives, analyzing existing protocols for vulnerabilities, and ensuring the mathematical soundness of secure communication.
This specialization involves developing and applying mathematical models and computational techniques to understand, predict, and optimize complex biological systems. With advances in genomics, proteomics, and neuroscience, formal methods are crucial for handling vast biological datasets and simulating intricate biological processes. This includes modeling disease progression, drug interactions, and neural networks, leading to breakthroughs in medicine and biotechnology.
This area focuses on applying formal methods from logic, set theory, and category theory to construct robust and explainable artificial intelligence systems. As AI becomes more pervasive in critical applications, ensuring its reliability, transparency, and ethical behavior is paramount. This specialization involves developing AI models that are not black boxes, but rather systems whose decisions can be formally verified and understood, crucial for regulatory compliance and trust.
This specialization applies principles from game theory, optimization, and decision theory to design and analyze economic systems, markets, and resource allocation mechanisms. With the rise of decentralized finance (DeFi), blockchain technologies, and complex digital marketplaces, understanding the formal properties of these systems is crucial. Professionals in this area model strategic interactions, design incentive compatible mechanisms, and ensure fairness and efficiency in economic protocols.
Making informed career decisions requires understanding both the benefits and challenges of a chosen path. A career as a Formal Sciences Student offers unique intellectual rewards and potential difficulties.
Experiences in this field vary significantly based on the specific discipline (mathematics, computer science, logic, statistics), the institution, and individual learning styles. What one student finds stimulating, another might find challenging. Furthermore, the daily realities can shift as students progress from foundational courses to advanced research.
This assessment provides an honest look at the common advantages and realistic challenges to help set appropriate expectations.
Formal Sciences Students face unique challenges balancing theoretical rigor with practical application. This section addresses key questions about the demanding curriculum, diverse specializations, and the broad career paths available, helping prospective students understand the commitment and opportunities.
A formal sciences student typically studies fields like mathematics, statistics, computer science, logic, and theoretical physics. These disciplines focus on abstract systems, logical reasoning, and quantitative methods. The curriculum emphasizes problem-solving, proof construction, algorithmic thinking, and data analysis, providing a strong foundation for various analytical careers.
Strong analytical and problem-solving skills are crucial for success in formal sciences. You will also need a high level of logical reasoning, attention to detail, and persistence in tackling complex abstract concepts. While not always required, a foundational interest in mathematics and a capacity for abstract thought are highly beneficial for the rigorous coursework.
Formal sciences degrees open doors to numerous careers, including data scientist, software engineer, statistician, actuary, financial analyst, and researcher. Many graduates also pursue advanced degrees in specialized areas or enter fields requiring strong quantitative and logical reasoning, such as cybersecurity or operations research. The versatility of the skills acquired is a major advantage.
The workload in formal sciences can be intense, often involving demanding problem sets, proofs, and coding assignments. Expect to dedicate significant time to independent study and practice outside of lectures. While challenging, the structured nature of the subjects allows for effective time management if you maintain consistent effort and seek help when needed.
Yes, many formal sciences programs offer flexibility through minors, concentrations, or joint degrees. You can often combine your core studies with electives in areas like economics, biology, or philosophy. This allows you to tailor your education to specific career interests or explore interdisciplinary applications of your formal sciences foundation.
Many universities offer dedicated career services for STEM students, including those in formal sciences. These services can help with internships, resume building, and job placement. Networking within your department, attending career fairs, and participating in research opportunities also provide valuable connections and practical experience for future employment.
A formal sciences degree provides a robust foundation for navigating a rapidly evolving job market. The analytical, computational, and logical reasoning skills developed are highly transferable and in demand across various industries. This adaptability contributes to strong job security and offers numerous opportunities for continuous learning and career advancement.
Explore similar roles that might align with your interests and skills:
A growing field with similar skill requirements and career progression opportunities.
Explore career guideA growing field with similar skill requirements and career progression opportunities.
Explore career guideA growing field with similar skill requirements and career progression opportunities.
Explore career guideA growing field with similar skill requirements and career progression opportunities.
Explore career guideA growing field with similar skill requirements and career progression opportunities.
Explore career guideUnderstanding where you stand today is the first step toward your career goals. Our Career Coach helps identify skill gaps and create personalized plans.
Get a detailed assessment of your current skills versus Formal Sciences Student requirements. Our AI Career Coach identifies specific areas for improvement with personalized recommendations.
See your skills gapEvaluate your overall readiness for Formal Sciences Student roles with our AI Career Coach. Receive personalized recommendations for education, projects, and experience to boost your competitiveness.
Assess your readinessUpgrade to unlock Himalayas' premium features and turbocharge your job search.
Undertake advanced coursework and begin independent research under the guidance of a faculty advisor. Contribute to research projects, potentially assisting with data collection or preliminary analysis. Make decisions about research direction and methodology within defined project parameters.
Deepen understanding in a chosen specialization, often through advanced coursework and initial thesis research. Cultivate independent research skills, including literature review, methodology design, and data analysis. Start presenting research findings in departmental seminars or smaller conferences.
Design and execute a significant, original research project under the supervision of a thesis committee. Take primary responsibility for research outcomes and thesis completion. Present findings at major conferences and prepare manuscripts for peer-reviewed publication. Decisions involve experimental design, analytical approaches, and publication strategies.
Conduct original, publishable research that contributes new knowledge to the field. Develop expertise in a highly specific sub-discipline, mastering advanced research techniques and tools. Hone scientific writing, presentation, and grant-writing skills.
Conduct independent research, often managing specific project components or small teams. Publish extensively in leading journals and present at international conferences. Contribute to grant proposals and potentially supervise junior researchers. Decisions involve shaping research direction, managing project timelines, and fostering collaborations.
Lead independent research projects, often with a focus on developing a distinct research agenda. Collaborate with senior researchers and mentor graduate students. Seek external funding and prepare for future academic or industry leadership roles.
Learn from experienced Formal Sciences Students who are actively working in the field. See their roles, skills, and insights.
Soil scientist and microbial inoculants leader driving sustainable agriculture and scalable R&D.
Dedicated college student with a passion for medical laboratory science.
South Africa50k-100k USD
I'm a young ambitious student hoping to pursue a career in a science field.
Rigorous technical writer with a PhD in Mathematics and Computer Science.
