$120 - $180/hr
PhD in Computer Science, Mathematics, or related technical field * Experience verifying programs in safety critical fields such as; aerospace/defense, automotive, medical, cryptography, etc * Proven ...
New
$120 - $180/hr
PhD in Computer Science, Mathematics, or related technical field * Experience verifying programs in safety critical fields such as; aerospace/defense, automotive, medical, cryptography, etc * Proven ...
New
$102 - $180/hr
Requirements * Bachelor's, Master's, or PhD in Mathematics, Computer Science, or Information ... Solid academic or practical background in Mathematics, Cryptography, or Cybersecurity.
$102 - $180/hr
Requirements * Bachelor's, Master's, or PhD in Mathematics, Computer Science, or Information ... Solid academic or practical background in Mathematics, Cryptography, or Cybersecurity.
$147 - $210/hr
Master's degree or PhD in Computer Science or related technical field. * 2 years of experience with ... cryptography. SWAN is also part of Chrome's Security team, which means that we also help secure ...
New
$147 - $210/hr
Master's degree or PhD in Computer Science or related technical field. * 2 years of experience with ... cryptography. SWAN is also part of Chrome's Security team, which means that we also help secure ...
New
$180 - $240/hr
An MS or PhD is strongly preferred. * Experience: 4+ years of substantive professional engineering ... cryptography, embedded and firmware, machine learning systems, developer tooling and platform ...
$180 - $240/hr
An MS or PhD is strongly preferred. * Experience: 4+ years of substantive professional engineering ... cryptography, embedded and firmware, machine learning systems, developer tooling and platform ...
Phd Cryptography information
What is a PhD in cryptography?
A PhD in Cryptography is a doctoral-level program focused on the study and advancement of cryptographic methods, protocols, and mathematical theories used to secure data and communications. Students in this program typically conduct original research on topics such as encryption algorithms, cryptographic protocols, and security systems. Graduates often pursue careers in academia, research institutions, cybersecurity, or technology companies, where they help develop and analyze secure systems to protect sensitive information.
What do PhD cryptographers do?
PhD cryptographers often tackle a wide range of advanced security challenges, such as designing new encryption algorithms, analyzing the security of cryptographic protocols, and implementing secure communication systems. In industry, they may collaborate closely with software engineers and product teams to ensure practical, robust security solutions are integrated into products. In academic or research positions, they frequently publish their findings, mentor junior researchers, and contribute to the development of cryptographic standards. The role usually requires balancing theoretical research with practical application, often working on multidisciplinary teams to address real-world security needs.
What skills and qualifications are needed to thrive as a PhD cryptographer?
To thrive as a PhD Cryptographer, you need advanced knowledge of mathematics, computer science, and cryptographic algorithms, typically supported by a PhD in a relevant field. Familiarity with cryptographic libraries (such as OpenSSL), programming languages (like Python, C++, or Java), and research publication tools is essential. Strong analytical thinking, problem-solving, and clear communication skills help you develop secure solutions and convey complex ideas. These competencies are critical to creating robust cryptographic protocols and advancing the field's security standards.
What is the difference between Phd Cryptography vs Cryptography Analyst?
| Aspect | Phd Cryptography | Cryptography Analyst |
|---|---|---|
| Required Credentials | PhD in Cryptography or related field | Bachelor's or Master's in Computer Science, Cybersecurity, or related field |
| Work Environment | Research labs, academia, R&D departments | Corporate, government agencies, cybersecurity firms |
| Industry Usage | Advanced research, academic publications, innovation | Security assessments, encryption implementation, threat analysis |
While a Phd in Cryptography focuses on research, development, and academic contributions, a Cryptography Analyst applies encryption techniques in practical security settings. Both roles require a strong understanding of cryptographic principles, but they differ in scope and work environment.
What are popular job titles related to Phd Cryptography jobs in Kentucky?
For Phd Cryptography jobs in Kentucky, the most frequently searched job titles are:
What job categories do people searching Phd Cryptography jobs in Kentucky look for?
The top searched job categories for Phd Cryptography jobs in Kentucky are:
What cities in Kentucky are hiring for Phd Cryptography jobs?
Cities in Kentucky with the most Phd Cryptography job openings:
Research Engineer, Formal Methods
On-site
AI Chopping Block
$120 - $180/hr
Other
Medical, Dental, Vision, Retirement, PTO
This job post has expired today. Applications are no longer accepted.
Job description
About Harmonic
#J-18808-LjbffrAt Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean4 and reinforcement learning to verify its reasoning and results.
Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human thought. Backed by some of the world’s most prominent investors, we are intentionally scaling an elite technical team.
Visit our company blog to learn more about what we are working on!
About the RoleWe are seeking a highly motivated and skilled Research Engineer to join our Formal Methods team. The initial focus of this position will be on pushing the limits of AI based theorem proving for verification of software and/or hardware. The successful candidate will play a key role in developing new approaches to express and prove important software and hardware properties, work with AI researchers to train and develop AI systems to reliably check them.
Key Responsibilities- Conduct research in formal methods for verification of software, hardware and mathematical domains
- Apply formal verification techniques using Lean or similar frameworks to formally verify safety critical systems
- Develop and implement algorithms and techniques to improve the efficiency and effectiveness of formal methods for AI systems
- BS or MS in Computer Science, Mathematics, a related technical field, or equivalent industry experience
- Basic proficiency in python
- Proficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle, Agda) and a strong foundation in formal methods and mathematical logic
- Experience driving highly technical research projects from early concept to delivery
- Expert level knowledge of Lean4
- PhD in Computer Science, Mathematics, or related technical field
- Experience verifying programs in safety critical fields such as; aerospace/defense, automotive, medical, cryptography, etc
- Proven track record in research or development of programming languages
- Proven track record of high-quality research demonstrated by publications, patents, or software contributions
- Contributions to open-source projects or development of software tools in the field
- Unlimited PTO
- 401(k) matching
- 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.
- Health Savings Account (HSA) available for qualifying health plans
Harmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.