Software Engineer
CurrentDeveloping the flagship product Criipto Verify, which provides user authentication with electronic identification.Contributing to continuously improving our secure software development lifecycle and compliance programmes.
Please complete the CAPTCHA to continue
A concise factual answer block for searchers comparing this professional profile.
Frederik Krogsdal Jacobsen is listed as Making identity secure and easy @ Criipto at Criipto, a company with 5 employees, based in Copenhagen, Capital Region Of Denmark, Denmark. AeroLeads shows a matched LinkedIn profile for Frederik Krogsdal Jacobsen.
Frederik Krogsdal Jacobsen previously worked as Software Engineer at Criipto and Board Member at Ida Young Professionals. Frederik Krogsdal Jacobsen holds Doctor Of Philosophy - Phd, Computer Science from Dtu - Technical University Of Denmark.
This section adds company-level context without repeating Frederik Krogsdal Jacobsen's masked contact details.
Review company-level records connected to Frederik Krogsdal Jacobsen before choosing the right outreach path.
I'm working to make identity solutions secure and easy to use for developers and users everywhere.My expertise includes functional programming, formal logic, type theory, proof assistants, and distributed systems.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
København, Region Hovedstaden, Danmark
Developing the flagship product Criipto Verify, which provides user authentication with electronic identification.Contributing to continuously improving our secure software development lifecycle and compliance programmes.
Copenhagen, Capital Region Of Denmark, Denmark
Supporting 7500+ engineers at the start of their careers by organizing talks, workshops and other events that provide useful technical and interpersonal skills.
Kongens Lyngby
Development and implementation of strategy for one of the largest climbing clubs in Denmark with 1000+ members.Managing many stakeholders including athletes, national governing bodies, sponsors, and local government.Planning and operations of climbing competitions, social events, training teams, and new development and maintenance of club equipment and.
Oxford, England, United Kingdom
Visited the Mobility Reading Group headed by Strachey Professor of Computing Nobuko Yoshida in the Department of Computer Science.During the visit I helped kick-start collaborations with several members of the research group on projects at the intersection of distributed systems, type theory, and formal verification.I was invited to give several talks.
Kongens Lyngby, Capital Region, Denmark
Responsible for reliable network operations for around 3000 customers as part of a small team at a residential internet service provider.Maintained custom and off‐the‐shelf hardware and software solutions for a customer‐VLAN network topology.Maintained custom Linux‐based infrastructure and applications for broadband network gateways and firewalls in C.
Kongens Lyngby, Capital Region, Denmark
Managed risk and compliance in a complex legal environment.Formulated and executed strategic goals including mergers and acquisitions.Facilitated technical and economic negotiations between a large number of stakeholders including member organizations, potential merger organizations, and law enforcement.
Copenhagen, Capital Region, Denmark
Developed software for statistical medical research as an internal consultant.Developed statistical software at the Departments of Urology at Herlev Hospital and Gentofte Hospital in close collaboration with researchers and medical doctors as a consultant.Primarily developed software in Java, including JavaFX and JUnit.Co‐author of a peer‐reviewed cohort.
Kongens Lyngby, Capital Region, Denmark
Teaching assistant in a number of courses:- 2017: Advanced Engineering Mathematics 1- 2019: Linear Control Design 1- 2020: Introductory Programming- 2020: Logical Systems and Logic Programming- 2021: Introductory ProgrammingDiploma in TA pedagogy from the Educational Consultancy at DTU.
Lunderskov, South Denmark, Denmark
Responsible for content management system, search engine optimization, and pricing systems.Developed back‐end systems in PHP and Visual Basic, and front‐end systems in JavaScript.Developed back‐end solutions to automatically manage pricing data for travel products based on many supplier databases using multiple technologies.Developed front‐end solutions to.
Other employees you can reach at criipto.com. View company contacts for 5 employees →
Carmela Grazioso
Colleague at Criipto
Salerno, Campania, Italy, Italy
View →
EH
Esben Hjorth Jensen
Colleague at Criipto
Copenhagen Municipality, Capital Region Of Denmark, Denmark, Denmark
View →
NM
Nikolaj Munk-Petersen
Colleague at Criipto
Copenhagen, Capital Region Of Denmark, Denmark, Denmark
View →
KM
Kasia Mazurek
Colleague at Criipto
Cracow Metropolitan Area, Poland
View →
AD
Anders Dalsgaard Winther
Colleague at Criipto
Copenhagen, Capital Region Of Denmark, Denmark, Denmark
View →
My project "User-Friendly Formal Methods" concerned novel methods for bringing formal methods within reach of the average software.
Activities and Societies: Enrolled in the Honors Program. Participated in the Coq Andes Summer School 2020.Focus on formal methods, type.
Activities and Societies: Performed electrical and requirements engineering for the Vermilion Racing Formula Student Electric team team at.
Activities and Societies: NTU Windsurfing ClubExchange semester as part of my BSc from DTU. Courses on robotics, digital signal.
Quick answers generated from the profile data available on this page.
Frederik Krogsdal Jacobsen works for Criipto.
Frederik Krogsdal Jacobsen is listed as Making identity secure and easy @ Criipto at Criipto.
Frederik Krogsdal Jacobsen is based in Copenhagen, Capital Region Of Denmark, Denmark while working with Criipto.
Frederik Krogsdal Jacobsen has worked for Criipto, Ida Young Professionals, Dtu Climbing, University Of Oxford, and K-Net.Dk.
Frederik Krogsdal Jacobsen's colleagues at Criipto include Carmela Grazioso, Esben Hjorth Jensen, Nikolaj Munk-Petersen, Kasia Mazurek, and Anders Dalsgaard Winther.
You can use AeroLeads to view verified contact signals for Frederik Krogsdal Jacobsen at Criipto, including work email, phone, and LinkedIn data when available.
Frederik Krogsdal Jacobsen holds Doctor Of Philosophy - Phd, Computer Science from Dtu - Technical University Of Denmark.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contacts