... Columbia University, focused on securing the cyber world. They are seeking a Software Engineer ... internships, software developed during research, and open-source development). • Minimum of 2 ...
... Columbia University, focused on securing the cyber world. They are seeking a Software Engineer ... internships, software developed during research, and open-source development). • Minimum of 2 ...
... university or college * Knowledge in a specific software engineering or aerospace engineering area, such as orbital mechanics, trajectory analysis, control theory, filtering, machine learning ...
... university or college * Knowledge in a specific software engineering or aerospace engineering area, such as orbital mechanics, trajectory analysis, control theory, filtering, machine learning ...
Your Impact As a Software Engineer Intern, you have foundational computer science knowledge and a ... university, or bootcamp * Experience in at least one object-oriented language such as Java, Python ...
Your Impact As a Software Engineer Intern, you have foundational computer science knowledge and a ... university, or bootcamp * Experience in at least one object-oriented language such as Java, Python ...
Software Engineer
Salt Lake City, UT · On-site
$98K - $147K/yr
Medical
Dental
Vision
Life
Retirement
PTO
The university has pioneered a new way to learn in the 21st century, one that has received praise ... Internship or personal project experience with backend development * Familiarity with Spring Boot ...
Software Engineer
Salt Lake City, UT · On-site
$98K - $147K/yr
Medical
Dental
Vision
Life
Retirement
PTO
The university has pioneered a new way to learn in the 21st century, one that has received praise ... Internship or personal project experience with backend development * Familiarity with Spring Boot ...
Software Engineer
$98K - $147K/yr
Medical
Dental
Vision
Life
Retirement
PTO
The university has pioneered a new way to learn in the 21st century, one that has received praise ... Internship or personal project experience with backend development * Familiarity with Spring Boot ...
Software Engineer
$98K - $147K/yr
Medical
Dental
Vision
Life
Retirement
PTO
The university has pioneered a new way to learn in the 21st century, one that has received praise ... Internship or personal project experience with backend development * Familiarity with Spring Boot ...
... university or college * Knowledge in a specific software engineering or aerospace engineering area, such as orbital mechanics, trajectory analysis, control theory, filtering, machine learning ...
... university or college * Knowledge in a specific software engineering or aerospace engineering area, such as orbital mechanics, trajectory analysis, control theory, filtering, machine learning ...
... university or college * Knowledge in a specific software engineering or aerospace engineering area, such as orbital mechanics, trajectory analysis, control theory, filtering, machine learning ...
... university or college * Knowledge in a specific software engineering or aerospace engineering area, such as orbital mechanics, trajectory analysis, control theory, filtering, machine learning ...
Software Engineer
Fort George G Meade, MD · On-site
... or university. OR * Eighteen (18) years of experience as a Software Engineer supporting programs ... and contracts of similar scope, type, and complexity may be substituted for a bachelor's degree.
Quick apply
Software Engineer
Fort George G Meade, MD · On-site
... or university. OR * Eighteen (18) years of experience as a Software Engineer supporting programs ... and contracts of similar scope, type, and complexity may be substituted for a bachelor's degree.
Associate Software Engineer
Atlanta, GA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Work, internship, co-op, academic project, open-source contribution, or personal project experience ... Understanding of Agile software development methodologies and DevOps practices. * Experience with ...
Quick apply
Associate Software Engineer
Atlanta, GA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Work, internship, co-op, academic project, open-source contribution, or personal project experience ... Understanding of Agile software development methodologies and DevOps practices. * Experience with ...
US Software Engineering Internship
Seattle, WA · On-site
$45/hr
Your Impact As a Software Engineer Intern, you have foundational computer science knowledge and a ... university, or bootcamp * Experience in at least one object-oriented language such as Java, Python ...
US Software Engineering Internship
Seattle, WA · On-site
$45/hr
Your Impact As a Software Engineer Intern, you have foundational computer science knowledge and a ... university, or bootcamp * Experience in at least one object-oriented language such as Java, Python ...
Associate Software Engineer
Atlanta, GA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Work, internship, co-op, academic project, open-source contribution, or personal project experience ... Understanding of Agile software development methodologies and DevOps practices. * Experience with ...
Quick apply
Associate Software Engineer
Atlanta, GA · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Work, internship, co-op, academic project, open-source contribution, or personal project experience ... Understanding of Agile software development methodologies and DevOps practices. * Experience with ...
Associate Software Engineer
Addison, TX · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Work, internship, co-op, academic project, open-source contribution, or personal project experience ... Understanding of Agile software development methodologies and DevOps practices. * Experience with ...
Quick apply
Associate Software Engineer
Addison, TX · On-site
Medical
Dental
Vision
Life
Retirement
PTO
Work, internship, co-op, academic project, open-source contribution, or personal project experience ... Understanding of Agile software development methodologies and DevOps practices. * Experience with ...
Software Engineering Intern - Summer 2027
Medical
Dental
Vision
Life
Retirement
PTO
Software Engineering interns contribute to experienced teams across software development, AI/data ... science, cloud, quality, DevOps, systems, testing, and firmware engineering. Examples of work in ...
Software Engineering Intern - Summer 2027
Medical
Dental
Vision
Life
Retirement
PTO
Software Engineering interns contribute to experienced teams across software development, AI/data ... science, cloud, quality, DevOps, systems, testing, and firmware engineering. Examples of work in ...
Software Engineer
Annapolis Junction, MD · On-site
... university is required. • Eighteen (18) years of experience as a Software Engineer supporting programs and contracts of similar scope, type, and complexity may be substituted for a bachelor ...
Software Engineer
Annapolis Junction, MD · On-site
... university is required. • Eighteen (18) years of experience as a Software Engineer supporting programs and contracts of similar scope, type, and complexity may be substituted for a bachelor ...
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Washington, DC · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Washington, DC · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Palo Alto, CA · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Palo Alto, CA · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Washington, DC · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Washington, DC · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Bronx, NY · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Software Engineer, Internship - Defense Tech
Bronx, NY · On-site
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
$10K/mo
The Role Software Engineers at Palantir build software at scale to transform how organizations ... Alongside peers that bring diverse experience - whether you're a former university TA, switched to ...
Internship Software Engineer University information
See salary details
$13.46 - $15.76
5% of jobs
$15.76 - $18.05
7% of jobs
$20.30 is the 25th percentile. Wages below this are outliers.
$18.05 - $20.35
13% of jobs
$20.35 - $22.64
9% of jobs
The median wage is $24.49 / hr.
$22.64 - $24.93
19% of jobs
$24.93 - $27.23
18% of jobs
$27.80 is the 75th percentile. Wages above this are outliers.
$27.23 - $29.52
14% of jobs
$29.52 - $31.82
7% of jobs
$31.82 - $34.11
4% of jobs
$34.11 - $36.41
0% of jobs
$36.41 - $38.70
3% of jobs
$13
$25
$38
How much do internship software engineer university jobs pay per hour?
As of Aug 14, 2026, the average hourly pay for internship software engineer university in the United States is $25.42, according to ZipRecruiter salary data. Most workers in this role earn between $20.67 and $28.85 per hour, depending on experience, location, and employer.
What cities are hiring for Internship Software Engineer University jobs?
Cities with the most Internship Software Engineer University job openings:
What are the most commonly searched types of Software Engineer University jobs?
The most popular types of Software Engineer University jobs are:
What states have the most Internship Software Engineer University jobs?
States with the most job openings for Internship Software Engineer University jobs include:
$58.75 - $79/hr
Full-time
Re-posted 18 days ago
Job description
Job Summary:
CertiK is a leading blockchain security company founded by professors from Yale and Columbia University, focused on securing the cyber world. They are seeking a Software Engineer (Engineer III to Principal) to design and develop tools for automated verification of smart contracts, ensuring their correctness and identifying security issues.
Responsibilities:
• Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools.
• Adapt and improve algorithms for symbolic software model checking. Examples include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR).
• Build and extend translators from different input languages into intermediate representations, optimizing the generated models for automated analysis.
• Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools.
• Closely collaborate with other software engineers in developing tools and set technical direction for solving problems in consultation with your team and management.
• Work on all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support.
Qualifications:
Required:
• Master's Degree in Computer Science or a related field or 5 years of equivalent experience.
• Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development).
• Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines.
• Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.
Preferred:
• PhD in the broader field of automated reasoning.
• Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc.
• Experience in functional programming (OCaml or Haskell).
• Strong and creative problem-solving skills; always willing to learn and embrace new technologies and to collaborate.
• Prior experience in a professional software development environment.
Company:
CertiK leverages formal verification technology to mathematically ensure security in systems software. Founded in 2017, the company is headquartered in New York, USA, with a team of 201-500 employees. The company is currently Growth Stage.
CertiK is a leading blockchain security company founded by professors from Yale and Columbia University, focused on securing the cyber world. They are seeking a Software Engineer (Engineer III to Principal) to design and develop tools for automated verification of smart contracts, ensuring their correctness and identifying security issues.
Responsibilities:
• Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools.
• Adapt and improve algorithms for symbolic software model checking. Examples include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR).
• Build and extend translators from different input languages into intermediate representations, optimizing the generated models for automated analysis.
• Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools.
• Closely collaborate with other software engineers in developing tools and set technical direction for solving problems in consultation with your team and management.
• Work on all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support.
Qualifications:
Required:
• Master's Degree in Computer Science or a related field or 5 years of equivalent experience.
• Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development).
• Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines.
• Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.
Preferred:
• PhD in the broader field of automated reasoning.
• Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc.
• Experience in functional programming (OCaml or Haskell).
• Strong and creative problem-solving skills; always willing to learn and embrace new technologies and to collaborate.
• Prior experience in a professional software development environment.
Company:
CertiK leverages formal verification technology to mathematically ensure security in systems software. Founded in 2017, the company is headquartered in New York, USA, with a team of 201-500 employees. The company is currently Growth Stage.
About CertiK
Sourced by ZipRecruiter
Industry
Network security
Company size
51 - 200 Employees
Headquarters location
New York, NY, US
Year founded
2018